BCNF定义

Boyce-Codd范式，是作为比3NF更为简单的形式提出来的，但是它比3NF更为严格。因为每个属于BCNF的关系也必定属于3NF，但一个属于3NF的关系却未必属于BCNF。 定义： 只要关系模式R中存在一个非平凡函数依赖X->A，关系模式R就属于BCNF，则X是R的一个超码。 在实践中，大部分属于3NF的关系模式也属于BCNF，仅当关系模式R中有X->A时，R属于3NF而不属于BCNF，其中X不是超码，而A是主属性。