BCNF范式(修正的第三范式)、第四范式和第五范式
修正的第三范式(BCNF)
1. 定义
当下面性质成立时,一个数据库模式中的表T及函数依赖集F被称为符合Boyce-Codd范式(BCNF):任何F可推导出的函数依赖X->A都在T中,这里A是不在X中的单一属性,X必须是T的一个超键。当一个数据库模式包含的所有表都符合BCNF时,这个数据库被称为符合BCNF.
2. 说明
BCNF是比第三范式更严格一个范式。它要求关系模型中
转载
2012-04-29 21:35:15 ·
617 阅读 ·
0 评论