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.