Die Boyce-Codd Normalform (BCNF) stellt nochmals eine Verschärfung dar. Ein Relationenschema mit funktionalen Abhängigkeiten F ist in BCNF, falls für jede funktionale Abhängigkeit mindestens eine der folgenden beiden Bedingungen gilt:
Betrachten wir die folgende Relation Städte:
Städte | |||
Ort | BLand | Ministerpräsident | EW |
Frankfurt | Hessen | Koch | 660.000 |
Frankfurt | Brandenburg | Platzek | 70.000 |
Bonn | NRW | Steinbrück | 300.000 |
Lotte | NRW | Steinbrück | 14.000 |
... | ... | ... | ... |
Offenbar gibt es die folgenden funktionalen Abhängigkeiten
: | {Ort, Bland} | {EW} | ||
: | {BLand} | {Ministerpräsident} | ||
: | {Ministerpräsident} | {Bland} |
Daraus ergeben sich die folgenden beiden Schlüsselkandidaten
Städte ist in dritter Normalform, denn das einzige Nichtprimärattribut EW ist nicht-transitiv abhängig von beiden Schlüsselkandidaten.
Städte ist jedoch nicht in Boyce-Codd Normalform, da die linken Seiten der funktionalen Abhängigkeiten und keine Superschlüssel sind.
Obacht: Um Relationen in dritter Normalform oder Boyce-Codd Normalform zu erhalten, ist häufig eine starke Aufsplittung erforderlich. Dies führt natürlich zu erhöhtem Aufwand bei Queries, da ggf. mehrere Verbundoperationen erforderlich werden.