资源描述：
《数据库 Chp5_Normal》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、Chp52002第五章关系数据理论Chp520025.1问题的提出•观察下面的关系模式：（1）StudentIDCourseID9805104001100110024001980510400250034001980510403598051042013005Chp520025.1问题的提出•观察下面的关系模式：（2）StudentIDCourseIDCourseNameCreditsGrand98051040014001数据库应用基础2.08998051040024002软件工程2.0909805104022400
2、1数据库应用基础2.06798051043211001高等数学8.09998051040914001数据库应用基础2.095Chp520025.1问题的提出•观察下面的关系模式：（3）（假设每门课程只有一位主讲教师）CourseIDCourseNameTeacherIDTeacherName4001数据库应用基础101王建辉4002软件工程101王建辉4003微机原理与接口102刘为1001高等数学233张健1002大学物理234徐云涛Chp52002上述数据模式设计违反了一个基本原则：•OneThingatOn
3、ePlace•OneThingatMulti-PlaceMulti-ThingatOnePlaceChp52002不好的数据模式可能产生四个后果•数据冗余某些信息重复出现•插入异常缺少某些信息，无法加入所需信息(Department)•删除异常全部删除某些信息，将所需信息一起删除•修改异常同时修改多个地方Chp520025.1问题的提出•有一个根本的问题还未涉及：针对一个具体问题，应该如何构造一个适合于它的数据模式？即应该构造几个关系模式？每个关系模式由哪些属性组成等。•上述问题是数据库设计的问题，确切地讲是关系
4、数据库逻辑设计问题。•关系数据库的规范化理论是数据库逻辑设计的一个有力工具。规范化理论虽然是以关系模型为背景，但是它对于一般的数据库逻辑设计同样具有理论上的意义。Chp520022.2.2关系模式(RelationSchema)(Review)•关系数据库中，关系模式是型，关系是值•定义：关系的描述称为关系模式。它可以形式化地表示为：R(U,D,dom,F)，可简记为R(U)其中：R为关系名，U为组成该关系的属性名集合，D为属性组U中属性所来自的域，dom为属性向域的映象集合，F为属性间数据的依赖关系集合,包括函
5、数依赖FD、多值依赖MVD和连接依赖等。•关系模式是静态的，关系是动态的，随时间不断变化的。Chp520022.2.2关系模式(RelationSchema)(Review)•概念图示•R(U,D,dom,F)FU={A1,A2,A3,A4,...Am}domD={D1,D2,D3,D4,...Dn}Chp52002函数依赖(FunctionalDependency,FD)•定义5.1设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等
6、，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X→Y。简言之，X确定，则Y确定。Chp52002函数依赖－示例1•U={StudentID,CourseID,CourseName,Credits,Grand}•X={CourseID},Y={CourseName,Credits}•X={StudentID,CourseID},Y={Grand}StudentIDCourseIDCourseNameCreditsGrand98051040014001数据库应用基础2.0899805104002400
7、2软件工程2.09098051040224001数据库应用基础2.06798051043211001高等数学8.08898051040914001数据库应用基础2.096Chp52002函数依赖－示例2•U={CourseID,CourseName,TeacherID,TeacherName}•X={CourseID},Y={CourseName}•X={TeacherID},Y={TeacherName}CourseIDCourseNameTeacherIDTeacherName4001数据库应用基础101王建
8、辉4002软件工程101王建辉4003微机原理与接口103刘为1001高等数学104马健1002大学物理105徐云涛Chp52002函数依赖•X→Y，Y⊆X,则称X→Y是非平凡的函数依赖。•X→Y，Y⊆X,则称X→Y是平凡的函数依赖。•X→Y，则X叫做决定因素（Determinant）。•X→Y，X←Y，则记作X←→Y。•若Y不函数依赖于X，则记作X→YChp52002函
