数据库原理第6部分关系数据理论课程.ppt

第六章 关系数据理论 第六章 关系数据理论 引 言 关系规范化理论研究的目的：解决关系数据库逻辑设计的问题。 关系规范化理论研究的必要性：为数据库设计提供理论的指南和工具。 目 录 6.1 问题的提出 6.2 规范化 *6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.1 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合于它的数据模式 数据库逻辑设计的工具──关系数据库的规范化理论 问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、数据依赖对关系模式影响 一、概念回顾 关系：描述实体、属性、实体间的联系。 从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。 关系模式：用来定义关系。 关系数据库：基于关系模型的数据库，利用关系来描述现实世界。 从形式上看，它由一组关系组成。 关系数据库的模式：定义这组关系的关系模式的全体。 二、关系模式的形式化定义 关系模式由五部分组成，即它是一个五元组： RU, D, DOM, F R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM：属性向域的映象集合 F： 属性组U上的一组数据依赖 二、关系模式的形式化定义 关系模式RU, D, DOM, F 简化为一个三元组： RU, F 当且仅当U上的一个关系r 满足F时，r称为关系模式 RU, F的一个关系 关系最起码的要求：每一个分量是不可分的数据项，即满足第一范式(1NF)。 三、什么是数据依赖 1、数据依赖 数据依赖是一个关系内部属性和属性之间的一种约束关系。 是现实世界属性间相互联系的抽象 是数据内在的性质 是语义的体现 什么是数据依赖（续） 2. 数据依赖的类型 函数依赖（Functional Dependency，简记为FD） 多值依赖（Multivalued Dependency，简记为MVD） 其他 四、数据依赖对关系模式的影响 例：描述学校的数据库： 学生的学号（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中存在的问题 ⒈ 数据冗余太大 浪费大量的存储空间 例：每一个系主任的姓名重复出现 ⒉ 更新异常（Update Anomalies） 数据冗余 ，更新数据时，维护数据完整性代价大。 例：某系更换系主任后，系统必须修改与该系学生有关的每一个元组 关系模式StudentU, F中存在的问题 ⒊ 插入异常（Insertion Anomalies） 该插的数据插不进去 例，如果一个系刚成立，尚无学生，我们就无法把这个系及其系主任的信息存入数据库。 ⒋ 删除异常（Deletion Anomalies） 不该删除的数据不得不删 例，如果某个系的学生全部毕业了， 我们在删除该系学生信息的同时，把这个系及其系主任的信息也丢掉了。 数据依赖对关系模式的影响（续） 结论： Student关系模式不是一个好的模式。 “好”的模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少。 原因：由存在于模式中的某些数据依赖引起的 解决方法：通过分解关系模式来消除其中不合适 的数据依赖。 6.2 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 通常按属性间依赖情况来区分关系规范化的程度为第一范式、第二范式、第三范式和第四范式等。 主 要 内 容 6.2.1 函数依赖 6.2.2 码 6.2.3 范 式 6.2.4 第二范式（2NF） 6.2.5 第三范式（3NF） 6.2.6 BC范式（BCNF） 6.2.7 多值依赖与第四范式