Különbség a BCNF és a 3NF között A különbség
A Boyce Codd normál formája (más néven BCNF) egy normál forma - ez egy olyan forma, amely kritériumokat határoz meg az asztal sebezhetőségi fokának meghatározásához a logikai inkonzisztenciák és rendellenességek tekintetében. Ezt a normál űrlapot használják az adatbázis normalizálására. Ez egy kicsit erősebb, mint elődje, a harmadik normális forma (más néven 3NF). A BCNF-ben egy táblázatot feltételezünk, ha és csak akkor, ha mindenki számára, ha nem triviális funkcionális függései - ez egy olyan határvonal, amelyet két attribútumkészlet között állítanak be az adatbázisból vett relációban - egy szuper kulcs (egy sor olyan relációs változó attribútumait, amelyek azt állítják, hogy az adott változóhoz rendelt kapcsolatokban nincs két különálló sor, amelyek ugyanazon értéket tartalmazzák az adott készlet attribútumaival). A BCNF azt állítja, hogy bármely olyan táblázat, amely nem felel meg a BNCF-nek tulajdonítható kritériumoknak, sérülékeny logikai következetlenségekre.
3NF egy normál forma, amelyet szintén használnak az adatbázis-normalizálásban. Úgy gondoljuk, hogy egy táblázat 3NF-ben van, ha és csak akkor, ha 1) a tábla második normális formában van (vagy 2NF, amely egy első normál kód vagy 1NF, amely megfelel a kritériumoknak, hogy 2NF legyen), és 2) a táblázat minden nem elsődleges attribútuma nem átmeneti jelleggel függ a táblázat minden kulcstól (azaz nem közvetlenül függ minden kulcstól). Van egy másik 3NF posztuláció, amelyet szintén használunk a 3NF és a BCNF közötti különbségek meghatározására.
Ezt a tételt a Carlo Zaniolo 1982-ben fogalmazta meg. Azt állítja, hogy egy táblázat 3NF-ben van, ha és csak akkor, ha minden olyan funkcionális függőségre, ahol X1. A BCNF egy normál forma, amelyben az asztal mindegyikének nem triviális funkcionális függései, egy szuper kulcs, a 3NF normális forma, amelyben a táblázat 2NF-ben van, és minden nem elsődleges attribútum nem függ a táblázatban lévő összes kulcstól.
