Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Die Boyce-Codd-Normalform ist eine Verschärfung der 3NF. Eine Relation ist in 3NF, wenn für jede FD mindestens eine der beiden Abhängigkeiten gilt:

• , d.h. die FD ist trivial
• ist Superschlüssel von .

Man kann mit dem Dekompositionsalgorithmus eine Relation in 3NF in Relationenschemata in BCNF überführen, dies ist nicht immer abhängigkeitserhaltend:

• Mit starten.
• Solange noch ein in nicht in BCNF ist:
  * Eine nicht-triviale FD in finden, die entweder kein Superschlüssel oder ist.  * in und zerlegen und statt in einfügen.