《关系数据库理论》PPT课件

《《关系数据库理论》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、1.关系模式应满足的基本要求1)元组的每个分量必须是不可分的数据项。2)数据库中的数据冗余应尽可能少。3)数据库不能因为数据更新操作而引起数据不一致问题。4)数据库中的数据不能产生插入异常和删除异常问题。5.1关系数据模式的规范化理论关系规范化理论的提出.第五章关系数据库理论5.1.1关系模式规范化的必要性2.关系规范化可能出现的问题87离散数学赵敏数学男20陈兵9800383数据库赵敏数学男20陈兵9800394数据结构赵敏数学男20陈兵9800372高等数学赵敏数学男20陈兵9800383电路王民计算机女21张平9800278数据库王民计算机女21张平9800282数据结构王民计算机女

2、21张平9800292程序设计王民计算机女21张平9800265电路王民计算机男20李华9800182数据库王民计算机男20李华9800174数据结构王民计算机男20李华9800174程序设计王民计算机男20李华98001成绩课程名系主任系名性别年龄姓名学号赵敏赵敏赵敏赵敏王民王民王民王民王民王民王民王民1)数据冗余大经济管理葛优2)插入异常张建同4)更新异常女21张平女21张平女21张平女21张平男20李华男20李华男20李华男20李华男20陈兵男20陈兵男20陈兵男20陈兵3)删除异常3.模式分解是关系规范化的主要方法评价：以上学生成绩关系模式不是一个好的模式。好的模式：不会发生插入异

3、常、删除异常、更新异常，数据冗余应尽可能少。原因：由存在于模式中的某些数据依赖引起解决方法：通过分解关系模式来消除其中不合适1.关系模式的简化表示法关系模式的完整表示是一个五元组：R〈U，D，Dom，F〉.其中：R为关系名；U为关系的属性集合；D为属性集U中属性的数据域；Dom为属性到域的映射；F为属性集U的数据依赖集。关系模式可以用三元组来为：R〈U，F〉.5.1.2函数依赖及其关系的范式函数依赖定义1：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y函数，或Y函

4、数依赖于X函数，记作X→Y。2函数依赖的概念说明：1.函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。2.函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立3.数据库设计者对语义的现实作出设计。例:教学U={学号，姓名，年龄，性别，系名，系主任，课程，名成绩}F={学号→姓名，学号→年龄，学号→性别，学号→系名，系名→系主任，(学号，课程名)→成绩}平凡函数依赖与非平凡函数依赖在关系模式R(U)中，对于U的子集X和Y，1）如果X→Y，但YX，则称X→Y

5、是非平凡的函数依赖2）若X→Y，但YX,则称X→Y是平凡的函数依赖例：成绩(学号,课程号,成绩)中，非平凡函数依赖：(学号,课程号)→成绩平凡函数依赖：(学号,课程号)→学号(学号,课程号)→课程号对于任一关系模式，平凡函数依赖都是必然成立的，因此若不特别声明，我们总是讨论非平凡函数依赖。函数依赖的逻辑蕴含从给定的函数依赖，判断其他函数依赖是否存在。定义设F是模式R的函数依赖，X和Y是属性集U的子集。如果从F中的函数依赖中能推出X→Y，则称X→Y是F的逻辑蕴含。Armstrong公理设U为属性集，F是U上的函数依赖集，于是有关系模式R。对关系模式R来说，有以下推

6、理规则：自反律：若YXU则XY为F所蕴含。例如，X:（学号,姓名)Y:（姓名)则：（学号,姓名)（姓名)增广律：若XY为F所蕴含，且Z属于U，则XZYZ为F所蕴含。例如：学号姓名(学号,班级)(姓名,班级)传递律：若XY及YZ为F所蕴含,XZ为F所蕴含。例如：学号班级号，班级号专业则学号专业引申的另外三条规则：合并律：若XY和XZ成立，则XYZ成立。学号姓名，学号年龄则学号姓名，年龄伪传递律：若XY和YWZ成立，则XWZ成立证明：由增广律，因为XY，故XWYW成立，由于YWZ，由传递律，XWZ必成立。分解律：若XY及ZY，则XZ成

7、立例：学号班级名，班级名，课程号教师学号，课程号教师4）若X→Y，并且Y→X,则记为X←→Y。5）若Y不函数依赖于X,则记为X→Y。3）若X→Y，则X叫决定因素，Y叫做依赖因素完全函数依赖与部分函数依赖定义2：在关系模式R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有X’→Y,则称Y完全函数依赖于X，记作XｆY。若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X，记作XPY。例:成绩(学号，课程号