Die Boyce-Codd Normalform ist eine weiter Normalform, die auf die 3. aufbaut. Eine Tabelle befindet sich in der BCNF, wenn sie sich in der 3. Normalform befindet und jedes Attribut, von dem andere Attribute abhängig sind, ein Schlüsselattribut ist.