Unterschied zwischen BCNF und 3NF

BCNF vs. 3nf

Boyce CODD Normale Form (auch als BCNF bekannt) ist eine normale Form. Dies ist eine Form, die Kriterien für die Bestimmung des Anfälligkeit einer Tabelle für logische Inkonsistenzen und Anomalien enthält. Diese normale Form wird in der Datenbanknormalisierung verwendet. Es ist etwas stärker als sein Vorgänger, die dritte Normalform (auch als 3NF bekannt). Es wird angenommen Attribute einer relationalen Variablen, die postuliert, dass in allen zugewiesenen Beziehungen dieser spezifischen Variablen keine zwei unterschiedlichen Zeilen mit demselben Wert für die Attribute in diesem bestimmten Satz enthalten. BCNF postuliert, dass jede Tabelle, die die Kriterien nicht erfüllt, die als BNCF zugeordnet werden sollen, anfällig für logische Inkonsistenzen ist.

3NF ist eine normale Form, die auch in der Datenbanknormalisierung verwendet wird. Es wird angenommen, dass sich eine Tabelle in 3NF befindet, wenn 1), wenn 1) die Tabelle in zweiter normaler Form (oder 2NF, ein erster normaler Code ist, oder 1nf, der die Kriterien erfüllt hat, um ein 2nf zu werden) und 2) und 2). Jedes nicht-primäre Attribut der Tabelle hängt nicht transitiv von jedem Schlüssel der Tabelle ab (dh sie ist nicht direkt von jedem Schlüssel abhängig). Es gibt eine weitere Postulierung von 3NF, mit der auch die Unterschiede zwischen 3NF und dem BCNF definiert werden.

Dieser Theorem wurde 1982 von Carlo Zaniolo konzipiert. Es besagt, dass eine Tabelle in 3nf ist, wenn und nur für jede funktionale Abhängigkeit, wobei x † 'a, mindestens eine von drei Bedingungen bestehen muss: Entweder X †' a, x ist ein Superkey oder A ist ein Hauptattribut (Dies bedeutet, dass a in einem Kandidatenschlüssel -oder einem minimalen Superkey für diese Beziehung enthalten ist). Diese neuere Definition unterscheidet sich vom Theorem eines BCNF darin, dass das letztere Modell einfach die letzte Bedingung beseitigen würde. Auch wenn es als neuere Version des 3NF -Theorems fungiert, gibt es eine Ableitung des Zaniolo -Theorems. Es besagt, dass x † 'a nicht trivial ist. Wenn das wahr ist, sei ein Mittagsattribut mittags und auch ein Schlüssel von r sein. Wenn das gilt, dann ist y † 'x. Dies bedeutet, dass a nicht transitiv von y abhängig ist, wenn x â † 'y (oder wenn x ein Superkey ist.

Zusammenfassung:

1. BCNF ist eine normale Form, in der für jeden der nicht trivialen funktionellen Abhängigkeiten einer Tabelle ein Superkey ist. 3NF ist eine normale Form, in der sich die Tabelle in 2NF befindet, und jedes nicht-primäre Attribut ist nicht transitiv von jedem Schlüssel in der Tabelle abhängig.