第3章关系数据库规范化理论资料.ppt

说明： 章节名称前打 ‘*’ 的部分不做要求！ 序： 前面章节介绍了数据模型的基本知识，并重点介绍了“关系模型”。 关系是元组的集合，是笛卡尔积的一个子集。一个关系数据库包含一组关系。 关系模式是用来定义关系的。一组关系模式的全体构成关系数据库的“模式”。 随之而来的问题是：面对现实问题所涉及的一大堆数据，如何构造“合适”的关系模式？——这涉及到“数据库逻辑设计”这个基本而重大的问题。对此，有一套相关理论，称为“关系数据库规范化理论”。 第3章 关系数据库规范化理论 3.1 问题的提出 3.2 范式 3.3 模式的分解 *3.4 数据依赖的公理系统 小结 3.1 问题的提出 前面章节曾指出“一个关系模式的每个属性必须是不可再分的”，但是这只是最低要求。 对于一个关系模式，还必须考虑它的属性间是否存在“合理的数据依赖”问题。 数据依赖是通过关系中属性间值的相等与否体现出来的数据间的相互关系。例如：一个对象的“住址”与它的“姓名”有没有依赖关系？即姓名相同的两个对象，其住址是否相同？ 数据依赖是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。 如果一个关系模式中存在不合适的数据依赖，则该模式在数据存储上会出现各种问题。 关系模式的形式化定义 关系模式由五部分组成，即它是一个四元组： R(U, D, DOM, F) R： 关系名 U：