《3.第5章关系数据库理论.pptVIP

* * 1. 关系模式应满足的基本要求 1) 元组的每个分量必须是不可分的数据项。 2) 数据库中的数据冗余应尽可能少。 3) 数据库不能因为数据更新操作而引起数据不一致问题。 4) 数据库中的数据不能产生插入异常和删除异常问题。 5.1 关系数据模式的规范化理论 关系规范化理论的提出. 第五章 关系数据库理论 5.1.1 关系模式规范化的必要性 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2. 关系规范化可能出现的问题 87 离散数学 赵敏 数学 男 20 陈兵 98003 83 数据库 赵敏 数学 男 20 陈兵 98003 94 数据结构 赵敏 数学 男 20 陈兵 98003 72 高等数学 赵敏 数学 男 20 陈兵 98003 83 电路 王民 计算机 女 21 张平 98002 78 数据库 王民 计算机 女 21 张平 98002 82 数据结构 王民 计算机 女 21 张平 98002 92 程序设计 王民 计算机 女 21 张平 98002 65 电路 王民 计算机 男 20 李华 98001 82 数据库 王民 计算机 男 20 李华 98001 74 数据结构 王民 计算机 男 20 李华 98001 74 程序设计 王民 计算机 男 20 李华 98001 成绩 课程名 系主任 系名 性别 年龄 姓名 学号 赵敏 赵敏 赵敏 赵敏 王民 王民 王民 王民 王民 王民 王民 王民 1) 数据冗余大 经济管理 葛优 2) 插入异常 张建同 4) 更新异常 女 21 张平 女 21 张平 女 21 张平 女 21 张平 男 20 李华 男 20 李华 男 20 李华 男 20 李华 男 20 陈兵 男 20 陈兵 男 20 陈兵 男 20 陈兵 3) 删除异常 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3. 模式分解是关系规范化的主要方法 评价： 以上学生成绩关系模式不是一个好的模式。 好的模式： 不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少。 原因： 由存在于模式中的某些数据依赖引起 解决方法： 通过分解关系模式来消除其中不合适 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1. 关系模式的简化表示法 关系模式的完整表示是一个五元组： R〈U，D，Dom，F〉. 其中：R为关系名；U为关系的属性集合；D为属性集U中属性的数据域；Dom为属性到域的映射；F为属性集U的数据依赖集。 关系模式可以用三元组来为： R〈U，F〉. 5.1.2 函数依赖及其关系的范式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖 定义1：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称X函数确定Y函数，或Y函数依赖于X函数，记作X→Y。 2 函数依赖的概念 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 3. 数据库设计者对语义的现实作出设计。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例: 教学U，F U={学号，姓名，年龄，