Boyce-Codd Normal Form (BCNF)
Die BCNF verlangt, über die 3NF hinaus, dass jeder Determinante ein Kandidatenschlüssel ist; eine verschärfte Version der 3NF.
Zweck
Die in der 3NF verbleibenden Anomalien beseitigen (partielle oder transitive Abhängigkeiten primärer Attribute von Kandidatenschlüsseln).
Mechanismus
Für jede funktionale Abhängigkeit X→Y muss X ein Superschlüssel sein (einen Kandidatenschlüssel enthalten). Strenger als die 3NF: Diese beschränkt nur nichtprimäre Attribute, die BCNF alle. Die BCNF kann funktionale Abhängigkeiten unter Umständen nicht erhalten.
Anwendungsfälle
- Datenbankdesign
- Tabellen-Normalisierung
- Beseitigung von Update-Anomalien