资源描述：
《《关系规范化》PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第六章关系数据理论学习要点：理解不规范关系可能带来的问题理解函数依赖、多值依赖的概念掌握1NF~BCNF的定义及判定方法掌握候选码、函数依赖的闭包集和极小集的求解方法理解两种模式分解方式的概念掌握分解到满足3NF要求的模式分解算法6.1节6.2节6.4节（重点）6.3节（重点）第六章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统6.4模式的分解6.5小结6.1问题的提出关系数据理论的用途关系数据库的规范化理论──数据库逻辑设计的工具；数据库逻辑设计──针对具体问题，如何构造适合于它的关系模式。6.1问题的提出一、关系模式的形式化定义二、关系模式的简化定义
2、三、什么是数据依赖四、数据依赖对关系模式影响一、关系模式的形式化定义关系模式由五部分组成，即它是一个五元组R(U,D,DOM,F)R：关系名U：组成该关系的属性名集合D：属性组U中属性所来自的域DOM：属性向域的映象集合F：属性间数据的依赖关系集合学生-课程数据库学生表Student(Sno,Sname,Ssex,Sage,Sdept)课程表Course(Cno,Cname,Cpno,Ccredit)学生选课表SC(Sno,Cno,Grade)二、关系模式的简化表示关系模式R（U,D,DOM,F）简化为一个三元组：R（U,F）当且仅当U上的一个关系r满足F时，r称为关系模
3、式R（U,F）的一个关系三、什么是数据依赖1.数据依赖是现实世界属性间相互联系的抽象是数据内在的性质是语义的体现它是数据库模式设计的关键。三、什么是数据依赖2.数据依赖的类型（1）函数依赖（FunctionalDependency，简记为FD）（2）多值依赖（MultivaluedDependency，简记为MVD）（3）连接依赖（JionDependency，简记为JD）四、数据依赖对关系模式的影响【例1】建立一个描述学校教务的数据库包括：学生的学号(Sno)、所在系(Sdept)、系主任姓名(Mname)、课程名(Cname)、成绩(Grade)属性。四、数据依赖对关
4、系模式的影响该数据库的语义：⒈一个系有若干学生，一个学生只属于一个系；⒉一个系只有一名主任；⒊一个学生可以选修多门课程，每门课程有若干学生选修；⒋每个学生所学的每门课程都有一个成绩。四、数据依赖对关系模式的影响属性组U上的一组函数依赖F：F＝｛Sno→Sdept,Sdept→Mname,(Sno,Cname)→Grade｝单一的关系模式：StudentU＝｛Sno,Sdept,Mname,Cname,Grade｝四、数据依赖对关系模式的影响SnoSdeptMnameCnoGradeS1IS张明C198S2IS张明C195S3IS张明C189S4IS张明C193S
5、5IS张明C180S6IS张明C186……………关系模式Student中存在的问题⒈数据冗余太大⒊插入异常（InsertionAnomalies）⒉修改异常（UpdateAnomalies）⒋删除异常（DeletionAnomalies）四、数据依赖对关系模式的影响结论：Student关系模式不是一个好的模式。原因：由存在于模式中的某些数据依赖引起的解决方法：通过分解关系模式来消除其中不合适的数据依赖“好”的模式：不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少。第六章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统6.4模式的分解6.5
6、小结6.2规范化规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。6.2规范化6.2.1函数依赖6.2.2码6.2.3范式6.2.42NF（含1NF）6.2.53NF6.2.6BCNF6.2.7多值依赖6.2.84NF6.2.9规范化小结6.2.1函数依赖一、函数依赖二、平凡函数依赖与非平凡函数依赖三、完全函数依赖与部分函数依赖四、传递函数依赖一、函数依赖【定义6.1】设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值
7、相等，而在Y上的属性值不等，则称“X函数确定Y”或“Y函数依赖于X”，记作X→Y。X称为这个函数依赖的决定属性集(Determinant)函数依赖概念说明1.函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。2.函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。3.数据库设计者可以对现实世界作强制的规定。一、函数依赖【例2】Student(Sno,Sname,Ssex,Sage,Sdept)假设不允许重名，有如下函数依赖:Sno→Ssex，Sno→Sage,Sno→
