数据库原理与应用：第5章 关系数据库规范化理论.pptVIP

5．第三范式 【例】 考察上例中的两个关系模式SG和SD。显然，SG中不存在传递函 数依赖，因此，SG∈3NF，下面分析SD中的函数依赖： 由传递函数依赖的定义可得： 一个关系模式R不属于3NF，同样会产生类似于上节的问题。 解决上述问题的办法是将关系模式SD分解，消除关系模式SD中存在的传递函数依赖。 学号→系名称 系名称→学号 系名称→系负责人 学号 系负责人 T 因此 SD 3NF ∈ （1）插入异常 （2）删除异常 （3）修改复杂 详细内容参见本书相关章节 定义 如果R∈2NF, 且每一个非主属性 不传递函数依赖于任何一个候选码, 则 R∈3NF。 下面将SD分解为两个关系模式： SDN（学号，姓名，系名称） DM（系名称，系负责人） SDN的主码是学号，DM的主码是系名称。显然，在这两上关系模式中既不存在部分函数依赖，也不存在传递函数依赖，因此SDN∈3NF，DM∈3NF。 6．BCNF BCNF（Boyce Codd Normal Form）是由Boyce与Codd提出的。它比3NF更进了一步，是修正的第三范式，有时也称为扩充的第三范式。 （1）所有非主属性对每一个主码都是完全函数依赖；