数据库原理及应用 第6章-关系数据理论(2学时).pptVIP

3NF并非最好的关系模式 1NF 2NF 3NF BCNF 消除非主属性对码的部分函数依赖 消除非主属性对码的传递函数依赖 消除主属性对码的部分和传递函数依赖 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 第六章 关系数据理论 Sno Sdept Mname CNo Grade (学号) 部门 部门负责人 课程编号 （成绩） 201290001 计算机 张明 0002 77 201290001 计算机 张明 0005 78 201290001 计算机 张明 0003 67 201290001 计算机 张明 0004 84 201290004 计算机 张明 0006 93 201290009 计算机 张明 0007 77 201290009 计算机 张明 0001 89 … … … … … 学生表：Student R： 关系名 U： 关系的属性名集合 D： 属性取值域 DOM：属性向域的映像 F： 属性间数据的依赖关系 关系模式五元组表示： R(U, D, DOM, F) R（U, F） 三元组表示： Student（U, F）中存在的问题 1. 数据冗余 2. 更新异常 3. 插入异常 4. 删除异常 结论：Student（U,F）关系模式不是一个好的模式 原因：模式中存在某些数据依赖 “好”的模式应具有的特征 不会发生插入、删除、更新异常，且数据冗余少。 一、 数据依赖 二、 规范化理论 数值依赖是属性值间的相互关联（？=） 现实世界关联的抽象 关系根源、模式设计的关键 数据性质和语义的体现 函数依赖（Functional Dependency，FD） 多值依赖（MultiValued Dependency，MVD）… 一、 数据依赖 例：描述学校的数据库： 学生的学号（Sno）、所在系（Sdept） 系主任姓名（Mname）、课程名（Cname） 成绩（Grade） 单一的关系模式 ： Student U，F U ＝｛Sno, Sdept, Mname, Cname, Grade｝ 属性组U上的函数依赖F： Sno Sdept Mname Cname Grade F ＝｛ Sno → Sdept, Sdept → Mname, (Sno, Cname) → Grade ｝ 二、 规范化理论 规范化理论正是用来改造关系模式的理论。通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 函数依赖 范式 数据规范 函数依赖 平凡与非平凡函数依赖 完全与部分函数依赖 传递函数依赖 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname, Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage （1）函数依赖 定义 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 X称为这个函数依赖的决定属性集(决定因素)。 Y=f(x) 说明： 1. 作用范围：所有实例 2. 语义相关 3. 必要时可强制的规定 例如：规定不允许同名人出现，函数依赖“姓名→年龄”成立。 若X→Y，并且Y→X, 则记为X←→Y 若Y不函数依赖于X, 则记为X─→Y （2）平凡与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果X→Y，但Y ? X，则称X→Y是非平凡的函数依赖 若X→Y，但Y ? X, 则称X→Y是平凡的函数依赖 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖： (Sno, Cno) → Sno (Sno, Cno) → Cno 对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明， 我们总是讨论非平凡函数依赖。 （3）完全与部分函数依赖 定义：在关系模式R(U)中，如果X→Y，并且对于X的任何一个真子集X’，都有： X’ Y, 则称Y完全函数依赖于X，记作X F Y。