BCNF范式（修正的第三范式）、第四范式和第五范式

修正的第三范式（BCNF）

1．定义

当下面性质成立时，一个数据库模式中的表T及函数依赖集F被称为符合Boyce-Codd范式（BCNF）：任何F可推导出的函数依赖X->A都在T中，这里A是不在X中的单一属性，X必须是T的一个超键。当一个数据库模式包含的所有表都符合BCNF时，这个数据库被称为符合BCNF.

2．说明

BCNF是比第三范式更严格一个范式。它要求关系模型中所有的属性（包括主属性和非主属性）都不传递依赖于任何候选关键字。也就是说，当关系型表中功能上互相依赖的那些列的每一列都是一个候选关键字时候，该满足BCNF。

BCNF实际上是在第三范式的基础上，进一步消除了主属性的传递依赖。

3．举例

有这样一个配件管理表WPE(WNO,PNO,ENO,QNT),其中WNO表示仓库号，PNO表示配件号，ENO表示职工号，QNT表示数量。

有以下约束要求：

（1）一个仓库有多名职工；

（2）一个职工仅在一个仓库工作；

（3）每个仓库里一种型号的配件由专人负责，但一个人可以管理几种配件；

（4）同一种型号的配件可以分放在几个仓库中。