|
BCNF（Boyce Codd Normal Form，巴克斯范式）
|
|
|
|
|
|
【定义7.13】关系模式R∈1NF，若X→Y且 时，X必含有码，则关系模式R∈BCNF。
|
|
|
|
也就是说，当3NF消除了主属性对码的部分函数依赖和传递函数依赖，则称为BCNF。
|
|
|
|
|
|
|
|
（2）所有非主属性对每一个不包含它的码，也是完全函数依赖。
|
|
|
|
（3）没有任何属性完全函数依赖于非码的任何一组属性。
|
|
|
|
例如，设R（Pno，Pname，Mname）的属性分别表示零件号、零件名和厂商名，如果约定，每种零件号只有一个零件名，但不同的零件号可以有相同的零件名；每种零件可以有多个厂商生产，但每家厂商生产的零件应有不同的零件名。这样我们可以得到如下一组函数依赖：
|
|
|
|
Pno→Pname，（Pname，Mname）→Pno
|
|
|
|
由于该关系模式R中的候选码为（Pname，Mname）或（Pno，Mname），因而关系模式R的属性都是主属性，不存在非主属性对码的传递依赖，所以R是3NF的。但是，主属性Pname传递依赖于码（Pname，Mname），因此R不是BCNF的。当一种零件由多个生产厂家生产时，零件名与零件号间的联系将多次重复，带来冗余和操作异常现象。若将R分解成：
|
|
|
|
R1（Pno，Pname）和R2（Pno，Mname）
|
|
|
|
就可以解决上述问题，并且分解后的关系模式R1、R2都属于BCNF。
|
|
|
