第11部分关系数据库设计理论课程.pptVIP

An Introduction to Database System 第11章 关系数据库设计理论 11.1 问题的提出 11.2 函数依赖 11.3 1NF—BCNF 11.4 多值依赖与4NF 11.5 关系模式的规范化 11.6 数据依赖的公理系统 *11.7 模式的分解 11.8 小结 11.1 问题的提出 关系数据库逻辑设计 针对具体问题，如何构造一个合适的数据库模式？ 数据库逻辑设计的工具──关系数据库的规范化理论 问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响 一、概念回顾 关系 关系模式 关系数据库 关系数据库的模式 二、关系模式的形式化定义 关系模式由五部分组成，即它是一个五元组： R(U, D, DOM, F) R： 关系名 U： 组成该关系的属性名集合 D： 属性组U中属性所来自的域 DOM： 属性向域的映象集合 F： 属性间数据的依赖关系集合 三、什么是数据依赖（续） 1. 数据依赖 一个关系内部属性与属性之间的约束关系 现实世界属性间相互联系的抽象 数据内在的性质 语义的体现 什么是数据依赖（续） 2. 数据依赖的类型 函数依赖（Functional Dependency，简记为F