[工学]Windows Server数据库课件--第06章 关系数据理论1-2.pptVIP

An Introduction to Database System 学习目标 理解关系模式可能的四种异常 掌握函数依赖的基本概念 掌握1NF、2NF、3NF、BCNF和4NF的概念和特点 掌握规范化的基本步骤 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.1 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个适合的数据模式？ 构造几个关系，每个关系由哪些属性组成等 数据库逻辑设计的工具 ──关系数据库的规范化理论 规范化理论虽然以关系模型为背景，但对一般数据库也具有理论上的意义 6.1 问题的提出 1 概念回顾 2 关系模式的形式化定义 3 什么是数据依赖 4 数据依赖对关系模式影响 6.1 问题的提出 1.概念回顾 (1)关系 描述实体、属性、实体间的联系。 从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。 (2)关系模式 用来定义关系，是关系结构的描述。 (3)关系数据库 基于关系模型的数据库，利用关系来描述现实世界。 从形式上看，它由一组关系组成。 6.1 问题的提出 1.概念回顾(续) (4)关系数据库的模式 数据库由若干关系组成，这些关系的关系模式的集合。 设：任一关系模式用Ri表示， X= R1∪R2∪…∪ Rn 则：Ω={R1,R2,…, Rn}就是X上的一个数据库模式 6.1 问题的提出 6.1 问题的提出 6.1 问题的提出 1 概念回顾 2 关系模式的形式化定义 3 什么是数据依赖 4 数据依赖对关系模式影响 6.1 问题的提出 关系模式由五部分组成，即它是一个五元组： R U, D, DOM, F R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM： 属性向域的映象集合 F： 属性间数据的依赖关系集合 6.1 问题的提出 关系模式由五部分组成，即它是一个五元组： R U, D, DOM, F R： 关系名 U： 组成该关系的属性名集合 F： 属性间数据的依赖关系集合 6.1 问题的提出 1 概念回顾 2 关系模式的形式化定义 3 什么是数据依赖 4 数据依赖对关系模式影响 6.1 问题的提出 6.1 问题的提出 (2) 数据依赖的类型 函数依赖 (Functional Dependency，简记为FD) 多值依赖 (Multivalued Dependency，简记为MVD) 其他 6.1 问题的提出 1 概念回顾 2 关系模式的形式化定义 3 什么是数据依赖 4 数据依赖对关系模式影响 6.1 问题的提出 例：描述一个学校的数据库： (1)管理的数据 学生学号(Sno)、所在系(Sdept)、课程号(Cno)、成绩(Grade)、系主任姓名(Mname) 单一的关系模式：Student U、F U ＝｛ Sno, Sdept, Mname, Cno, Grade ｝ 6.1 问题的提出 例：描述一个学校的数据库(续)： 6.1 问题的提出 例：描述一个学校的数据库(续)： 6.1 问题的提出 6.1 问题的提出 (1)数据冗余太大 浪费大量的存储空间 (2)更新异常（Update Anomalies） 数据冗余，更新数据时，维护数据完整性代价大 6.1 问题的提出 (3)插入异常（Insertion Anomalies） 该插的数据插不进去 (4)删除异常（Deletion Anomalies） 不该删除的数据不得不删 6.1 问题的提出 该Student关系模式不是一个“好”的模式。 “好”的模式： 不会发生插入异常、删除异常、更新异常， 数据冗余应尽可能少。 原因： 由存在于模式中的某些数据依赖引起的 解决方法： 通过分解关系模式来消除不合适的数据依赖 6.1 问题的提出 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.2 规范化 规范化理论 是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余的问题。 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3-6.2.6 范式 6.2.7-6.2