設關系模式R<U，F>∈1NF，如果對于R的每個函數依賴X→Y，若Y不屬于X，則X必含有候選碼，那么R∈BCNF。
即為：對于關系模式R，若 R為第一范式，且每個屬性都不部分依賴于候選鍵也不傳遞依賴于候選鍵，那么稱R是BC范式。

相對于第三范式，BC范式的要求更加嚴格。第三范式只是要求R為第二范式且非鍵屬性不傳遞依賴于R的候選鍵，而BC范式則是對R的每個屬性都做要求。

由關系模式的定義可以得到如下結論，若R屬于BCNF，則R有：
1.所有非主屬性對每一個碼都是完全函數依賴。
2.所有的主屬性對每一個不包含它的碼,也是完全函數依賴。
3.沒有任何屬性完全函數依賴于非碼的任何一組屬性。
由于R∈BCNF,按定義排除了任何屬性對碼的傳遞依賴與部分依賴,所以R∈3NF。但是若R∈3NF,則R未必屬于BCNF。

BC范式能夠消除插入異常和刪除異常。