张芳向 Netboy.ppt

An Introduction to Database System 第四章 关系规范化理论 1. 为什么要进行关系规范化处理？ 2. 规范化理论具体内容 1. 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式? 如设计反映选课关系的关系数据模式: 模式1: SC(SNO,SNAME,CNO,CNAME,Grade,…) 模式2: Student(SNO,SNAME…) Course(CNO,CNAME,…) SC(SNO,CNO,Grade) … 数据库逻辑设计的工具──关系数据库的规范化理论 1) 概念回顾 2) 关系模式的形式化定义 3) 什么是数据依赖 4) 关系模式的简化定义 5) 数据依赖对关系模式的影响 1) 概念回顾 关系：描述实体、属性、实体间的联系。 从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。 关系模式：用来定义关系。 关系数据库：基于关系模型的数据库，利用关系来描述现实世界。 从形式上看，它由一组关系组成。 关系数据库的模式：定义这组关系的关系模式的全体。 码、候选码、主属性、非主属性、全码、主码 2) 关系模式的形式化定义 关系模式由五部分组成，即它是一个五元组： R(U, D, DOM, F) R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM： 属性向域的映象集合 F： 属性间数据的依赖关系集合 3) 什么是数据依赖 一个关系内部属性与属性之间的约束关系 现实世界属性间相互联系的抽象 数据内在的性质 语义的体现 数据依赖的类型 函数依赖（Functional Dependency，简记为FD） 多值依赖（Multivalued Dependency，简记为MVD） 4) 关系模式的简化表示 关系模式R（U, D, DOM, F） 简化为一个三元组： R（U, F） 当且仅当U上的一个关系r满足F时，r称为关系模式 R（U, F）的一个关系 5) 数据依赖对关系模式的影响 [例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 ｝ 关系模式Student(U, 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） 2. 规范化理论具体内容 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 2.1 函数依赖 函数依赖 平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 一、函数依赖 定义1 设R(U)是一个属性集U上的关系模式，X和Y是U的 子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y。 二、平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果X→Y，但Y ? X，则称X→Y是非平凡的函数依赖 若X→Y，但Y ? X, 则称X→Y是平凡的函数依赖 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖：