数据库范式设计.pptVIP

数据库原理 第五章关系数据理论 主讲教师：谢永红 第五章关系数据理论 主要内容：介绍关系数据库的设计理论，即规范化理论。包括：函数依赖、多值依赖、2NF、3NF、BCNF和4NF等概念 5.1 问题的提出 关系模式的形式化定义。 一个关系模式应当是一个五元组。 R（U, D, DOM, F） 这里： 关系名R，它是符号化的元组语义； 一组属性U； 属性组U中属性所来自的域D； 属性到域的映射DOM； 属性组U上的一组数据依赖F。 5.1 问题的提出 由于D和DOM对模式设计关系不大,在此把关系模式看作是一个三元组：R〈U,F〉 当且仅当U上的一个关系r满足F时,r称为关系模式R〈U,F〉的一个关系。 “每一个分量必须是不可分的数据项”满足这个条件的关系是1NF。 研究设计一个“好”的（没有“毛病”的）关系模式的办法。 数据依赖是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系。其中最重要的是函数依赖(Functional Dependency简记为FD)和多值依赖(Multivalued Dependency简记为MVD)。 5.1 问题的提出 函数依赖的基本概念 比如描述一个学生的关系中的学号（SNO），姓名（SNAME），系名（SDEPT），学号确定姓名，学号确定系名，即当学号值确定之后，姓名和学生所在的系也就被唯一的确定了。这种现象称为函数依赖。 SNO SNAME， SNO SDEPT 5.1 问题的提出 建立一个数据库来描述学生的情况 U = {SNO，SDEPT，MN，CNAME，G} 根据分析可得： 一个系有若干名学生，但一个学生只属于一个系 一个系只有一名系主任 一个学生可以选修多门课程，每门课程有若干学生选修 每个学生学习每一门课程有一个成绩 于是得到如下一组函数依赖： F = {SNO→SDEPT，SDEPT →MN，(SNO，CNAME)→G} 5.1 问题的提出 分析可知该关系的候选码为（SNO,CNAME) 三个“毛病” 插入异常 如果一个系刚成立尚无学生，或者虽然有了学生但尚未安排课程。那么就无法将系及其主任的信息存入数据库。 删除异常 如果某个系的学生全部毕业了，在删除该系学生选修课程的同时，把这个系及其负责人的信息也删掉了 冗余太大，修改异常 5.1 问题的提出 解决的方法是将单一的模式改造成三个关系模式: S（SNO，SDEPT，SNO→SDEPT） SG (SNO，CNAME，G，(SNO，CNAME)→G} DEPT（SDEPT，MN，SDEPT→MN） 这三个关系模式都不会发生插入异常、删除异常的毛病,数据的冗佘也得到了控制。 一个关系模式会有哪些不好的性质,如何改造一个不好的关系模式,这就是下一节规范化理论讨论的内容。 5.2 规范化 函数依赖 码 范式 2NF 3NF BCNF 多值依赖 4NF 5.2.1 函数依赖 定义 5.1 设R（U）是属性集U上的关系模式。X，Y是U的子集。若对于R（U）的任意一个可能的关系r, r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X→Y. 5.2.1 函数依赖 术语和记号： X→Y，但Y? X则称X→Y是非平凡的函数依赖。若不特别声明,我们总是讨论非平凡的函数依赖。 X→Y，但Y? X 则称X→Y是平凡的函数依赖。 若X→Y,则X叫做决定因素(Determinant)。 若X→Y，Y→X，则记作X←→Y。 若Y不函数依赖于X,则记作X→Y。 5.2.1 函数依赖 函数依赖的性质： 唯一性 给定函数依赖f：X→Y及g: X→Y,则f=g; 投影性 当X为Y的子集时，必有Y→X; 叠加性 若X→Y且X→Z,则存在着X→YZ; 分配性 若X→YZ,则必有X→Y及X→Z 扩张性 若X→Y且W→Z,则必有XW→YZ 设关系模式R(X,Y,Z), X,Y,Z为不相交的属性集合，若存在函数依赖：X→Y或X→Z,则有 R(X,Y,Z)=πX,Y(R)∞πX,Z(R).(无损连接性) 5.2.1 函数依赖 定义5.2:在R（U）中，如果X→Y，并且对于X的任何一个真子集X′，都有X′→Y，则称Y对X完全函数依赖，记作： X→Y 若X →Y，但Y不完全依赖于X，则称Y对X部分函数依赖，记作： X→Y 定义5.3:在R(U)中,如果X→Y,(Y? X)，Y→X,Y→Z,则称Z对X传递函数依赖。 加上条件Y→X,是因为如果Y→X,则X←→Y,实际上是,X→Z是直接函数依赖而不是传递函数依赖。 5.2.2 码 定义5.4 设K为R〈U, F〉中的属性或属性组合，若K→