数据库关系模的规范化.ppt

这些函数属依赖可用如下图表示 4.3.5 BC范式(BCNF) 候选键 Sno Cname Teacher 候选键 Sno Teacher Cname 因此，关系模式StudyTeach的所有属性都是主属性，因此它没有任何非主属性对候选键传递函数依赖或部分函数依赖，故关系模式StudyTeach是3NF的，但它不是BCNF的，因为Teacher是决定因素，而Teacher不包含候选键。 例子表明：若一个关系模式是3NF而不是BCNF的，则仍然存在不合适的地方。 函数依赖总结：BCNF是在函数依赖的条件下对模式分解所能达到的最高分离程度。一个数据库模式中的所有关系模式如果都属于BCNF，那么在函数依赖范畴内，已实现了彻底的分离，并基本消除了插入和删除等异常问题。3NF的“不彻底”性表现在当关系模式中具有多个候选键，且这些候选键具有公共属性时，可能存在决定因素中不包含候选键，比如，关系模式StudyTeach就是这样的。 4.3.5 BC范式(BCNF) 4.3.5 BC范式(BCNF) 分解成BCNF模式集算法： a.设关系模式R(U),主键是W,R上还存在FD X→Z, 且Z是非主属性或主属性, ， X不是候选键,那么 W→Z。则应把R分解为两个模式： (1)R1(XZ),主键是X； (2)R2(Y),其中Y=U-Z,主键仍是W