2012 14 第06章(1)关系数据理论.pptVIP

An Introduction to Database System 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 6.5 小结 6.1 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论 问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响 一、概念回顾 关系 关系模式 关系数据库 关系数据库的模式 二、关系模式的形式化定义 关系模式由五部分组成，即它是一个五元组： R(U, D, DOM, F) R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM： 属性向域的映象集合 F： 属性间数据的依赖关系集合 三、什么是数据依赖 1. 完整性约束的表现形式 限定属性取值范围：例如学生成绩必须在0-100之间 定义属性值间的相互关连（主要体现于值的相等与否），这就是数据依赖，它是数据库模式设计的关键 什么是数据依赖（续） 2. 数据依赖 一个关系内部属性与属性之间的约束关系 现实世界属性间相互联系的抽象 数据内在的性质 语义的体现 什么是数据依赖（续） 3. 数据依赖的类型 函数依赖（Functional Dependency，简记为FD） 多值依赖（Multivalued Dependency，简记为MVD） 多值依赖的定义见P179（后面细讲） 其他 四、关系模式的简化表示 关系模式R(U, D, DOM, F) 简化为一个三元组： R(U,F) 当且仅当U上的一个关系R满足F时，R称为关系模式 R(U,F)的一个关系 五、数据依赖对关系模式的影响 [例1]建立一个描述学校教务的数据库： 学生的学号(Sno)、所在系(Sdept) 系主任姓名(Mname) 、课程名(Cname) 成绩(Grade) 单一的关系模式 ： Student U、F U ＝｛ Sno, Sdept, Mname, Cname, Grade ｝ 数据依赖对关系模式的影响（续） 属性组U上的一组函数依赖F： F ＝｛ Sno → Sdept, Sdept → Mname, (Sno, Cname) → Grade ｝ 关系模式StudentU, F中存在的问题 1. 数据冗余太大 2. 更新异常（Update Anomalies） 3. 插入异常（Insertion Anomalies） 4. 删除异常（Deletion Anomalies） 数据依赖对关系模式的影响（续） 结论： Student关系模式不是一个好的模式。 “好”的模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少 原因：由存在于模式中的某些数据依赖引起的 解决方法：通过分解关系模式来消除其中不合适 的数据依赖 分解关系模式 把这个单一模式分成3个关系模式： S(Sno, Sdept, Sno→Sdept); SC(Sno, Cno, Grade, (Sno, Cno)→Grade); DEPT(Sdept, Mname, Sdept→Mname); 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 6.4 模式的分解 6.5 小结 6.2 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结 6.2.1 函数依赖 函数依赖 P173 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 一、函数依赖 定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 说明 1. 所有关系实例均要满足 2. 语义范畴的概念 3. 数据库设计者可以对现实世界作强制的规定 二、平凡函数依赖与非平凡函数依赖 在关系模式R(U)