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

第 4 章 ;第4章 关系模式的规范化设计理论;第4章 关系模式的规范化设计理论;第4章 关系模式的规范化设计理论;4.1 问题的提出;关系模型的外延和内涵;4.1.1 关系模式可能存在的异常(1);表4.1 关系StudyInfo;4.1.1 关系模式可能存在的异常(2);4.1.2 异常原因分析(1);4.1.2 异常原因分析(2);4.1.2 异常原因分析(3);4.1.2 异常原因分析(4);4.1.3 异常问题的解决(1);4.1.3 异常问题的解决(2);4.1.3 异常问题的解决(3);4.1.3 异常问题的解决(3);4.1.3 异常问题的解决(3);4.1.3 异常问题的解决(3);4.1.3 异常问题的解决(4);4.2 关系模式的函数依赖;4.2.1 再论关系与关系模式;4.2.2 函数依赖的一般概念(1);4.2.2 函数依赖的一般概念(2);4.2.2 函数依赖的一般概念(3);4.2.2 函数依赖的一般概念(4); 从例子可知，函数依赖与属性的语义有关。我们要根据属性的语义来确定一个函数依赖。例如Sname?Birthday这个函数依赖，只有当关系中没有??姓名学生的条件下才成立。 如果关系中允许出现相同姓名的学生，则出生日期就不再函数依赖于姓名了，即 Sname?Birthday 数据库设计者应在定义数据库模式时，指明属性之间的函数依赖(主键)，使数据库管理系统根据设计者的意图来维护数据库的完整性。因此，设计者可以对现实世界中的一些数据依赖作强制性规定.;4.2.2 函数依赖的一般概念(6); 在定义4.1的基础上补充以下常用术语和记号： ⑴ 若X?Y，则称X为这个函数依赖的决定(Determinant)因素，简称X是决定因素。 ⑵ 若X?Y且Y?X，则记作X?Y。 (3) 若Y不函数依赖于X，则记作 。 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname， Sname → Ssex， Sname → Sage，Sname → Sdept 但Ssex →Sage ; ⑷ 若X?Y，且Y? X，则称X?Y是平凡函数依赖。 ⑸ 若X?Y，且 （也就是Y中至少有一个属性不在X中），则称X?Y是非平凡函数依赖。 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖： (Sno, Cno) → Sno (Sno, Cno) → Cno 对于任一关系模式，平凡函数依赖都是必然成立的，但它不反映新的语义。所以在后面的讨论中，若没有特别声明，“X?Y”都表示非平凡函数依赖。 ;4.2.2 函数依赖的一般概念(8); 定义4.3 对于关系模式R(U)，设X、Y和Z都是U的子集。如果X?Y，Y?Z，且 ， , 则称Z对X传递函数依赖(Transitive Functional Dependence)，记作: X?Z 。 在传递函数依赖的定义中加上条件 是必要的，因为如果Y?X，则X?Y，即说明X与Y之间是一一对应的，这样导致Z对X的函数依赖是直接依赖，而不是传递函数依赖。定义4.3中的条件 主要是强调X?Y和Y?Z都不是平凡函数依赖，否则同样Z对X是直接函数依赖，而不是传递函数依赖。 例: 在关系Std(Sno, Sdept, Mname)中，有： Sno → Sdept，Sdept → Mname Mname传递函数依赖于Sno 即： Mname ? Sno ; 例4.4 关系模式StudyInfo(Sno, Sname, DeptName, DeptHead, Cname, Grade)有如下的一些函数依赖：Sno?Sname, {Sno, Cname}?Grade，Sno?DeptName, DeptName?DeptHead。 由最后两个函数依赖还可得出DeptHead传递函数依赖Sno，即 Sno?DeptHead 。 如果没有同姓名的学生，