他の属性がある属性(X)に完全関数従属である場合に、かつ属性(X)が候補キーであるとき、この表をボイスコッド正規形という。

BCNF : Boyce-Codd normal form