第03章-关系数据库规范化理论.ppt

第3章关系数据库规范化理论第一部分数据库系统的一般原理第3章关系数据库规范化理论数据库设计的问题可以简单地描述为:如果要把一组数据存储到数据库中,如何为这些数据设计一个合适的逻辑结构。在关系数据库系统中,就是如何设计一些关系表以及这些关系表中的属性。这就是本章介绍的关系模式的规范化设计问题。项目要求(1)掌握函数依赖的定义、以及函数依赖的各种类型。(2)使用函数依赖的推理规则,写出关系的主码。-1所示的关系R。图3-1关系R其中,XH、KH、KM、XM、DZ和CJ依次为学号、课程号、课程名、教师姓名、教师地址和学生成绩。(FunctionalDepency,FD)任给R(U),U为属性集,x、y为U的子集,如果对于x的每个值,y有唯一确定的值与之对应,则称x决定y,或y函数依赖于x,记为x→y。(TrivialFD)、非平凡函数依赖(NontrivialFD)设x→y,如果y是x的子集,则称x→y为平凡函数依赖。如(XH,KH)→XH。如果y中至少有一个属性不在x中,则称x→y为非平凡函数依赖。如(XH,KH)→(XH,KM)。如果y中没有一个属性在x中,则称x→y为完全非平凡函数依赖。对于任一关系模式,平凡函数依赖都是必然成立的,它不反映新的语义,因此若不特别声明,我们总是讨论完全非平凡函数依赖。 (FullFD)若x→y,且对于x的所有真子集x‘,都有x’y,则称x完全决定y,或y完全函数依赖于x,记为。(PartialFD)若x→y,且存在x的一个真子集x‘,满足x’→y,则称x部分决定y,或y部分函数依赖于x,记为。(TransitiveFD)若x→y、y→z,但yx,则称x传递决定z,或z传递函数依赖于x,记为。传递函数依赖定义之所以要加上条件yx,是因为如果y→x,则xy,这实际上是z直接函数依赖于x,而不是传递函数依赖了。事实上,对于关系模式R,U为其属性集合,X、Y为其属性子集,根据函数的依赖定义和实体间联系的定义,可以得出如下变换方法。如果X和Y之间是1:1的关系,则存在函数依赖X→Y和Y→X。如果X和Y之间是1:n的关系,则存在函数依赖Y→X。如果X和Y之间是n:m的关系,则X和Y之间不存在函数依赖关系(1)自反律:如果,则x→y。这是一个平凡函数依赖。,x、y、z为R的一个属性集,则推理规则如下所述。(2)增广律:如果x→y,则xz→yz。(3)传递律:如果x→y、y→z,则x→z。(4)合并律:如果x→y、x→z,则x→yz。(5)分解律:如果x→yz,则x→y,x→z。项目小结本项目通过实例引出函数依赖的定义,重点介绍3种函数依赖,包括完全函数依赖、部分函数依赖和传递函数依赖,并介绍了函数依赖的几条推理规则。通过对本项目的学习,读者应该能轻松地写出各关系的主码,为后续项目的学习奠定坚实的基础。