Die Boyce-Codd-Normalform (BCNF) ist eine Normalform für relationale Datenbankschemata. Eine Relation erfüllt BCNF, wenn bei jeder nichttrivialen funktionalen Abhängigkeit X → Y die Attributmenge X ein Superschlüssel ist.
BCNF ist strenger als die dritte Normalform (3NF). Eine Relation kann daher 3NF erfüllen und trotzdem BCNF verletzen. Eine Zerlegung in BCNF kann Redundanzen reduzieren, bewahrt aber nicht in jedem Fall alle funktionalen Abhängigkeiten unmittelbar in den einzelnen Teilrelationen.
Vor einer Normalisierung müssen die tatsächlichen funktionalen Abhängigkeiten und Kandidatenschlüssel des Datenmodells ermittelt werden.
Inhaltlich überarbeitet am 2026-10-13. BCNF-Definition und Verhältnis zur 3NF korrekt formuliert.