- 1、本文档共76页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
关系数据理论).ppt
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.8 多值依赖与
文档评论(0)