第6章节联系数据理论”.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： 属性间数据的依赖关系集合 关系模式的简化 关系模式 R（U, D, DOM, F） 简化为一个三元组： R（U, F） 当且仅当U上的一个关系r满足F时，r称为关系模式 R（U, F）的一个关系。 三、什么是数据依赖 数据依赖：描述一个关系内部属性值间的一种约束关系（主要体现于值的相等与否) 学号－姓名 数据依赖，是现实世界属性间联系的抽象，是数据库模式设计的关键。 是一种语义的体现。 数据依赖的类型 函数依赖(Functional Dependency，简记为FD) 多值依赖(Multi-valued Dependency，简记为MVD) 函数依赖 普遍存在生活中，比如学生的关系： 一个学号对应一个学生，一个学生只在一个系学习 学号确定后，学生的姓名和系也唯一被确定； 这种关系类似于数学中的函数与自变量间的关系； 四、数据依赖对关系模式的影响 [例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 函数依赖 函数依赖定义 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 一、函数依赖 定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 说明： 1. 所有关系实例均要满足 2. 语义范畴的概念: 根据语义来确