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

* * 1. 关系模式应满足的基本要求 1) 元组的每个分量必须是不可分的数据项。 2) 数据库中的数据冗余应尽可能少。 3) 数据库不能因为数据更新操作而引起数据不一致问题。 4) 数据库中的数据不能产生插入异常和删除异常问题。 5.1 关系数据模式的规范化理论 关系规范化理论的提出. 第五章 关系数据库理论 5.1.1 关系模式规范化的必要性 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) 删除异常 3. 模式分解是关系规范化的主要方法 评价： 以上学生成绩关系模式不是一个好的模式。 好的模式： 不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少。 原因： 由存在于模式中的某些数据依赖引起 解决方法： 通过分解关系模式来消除其中不合适 1. 关系模式的简化表示法 关系模式的完整表示是一个五元组： R〈U，D，Dom，F〉. 其中：R为关系名；U为关系的属性集合；D为属性集U中属性的数据域；Dom为属性到域的映射；F为属性集U的数据依赖集。 关系模式可以用三元组来为： R〈U，F〉. 5.1.2 函数依赖及其关系的范式 函数依赖 定义1：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等， 而在Y上的属性值不等， 则称X函数确定Y函数，或Y函数依赖于X函数，记作X→Y。 2 函数依赖的概念 说明： 1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 3. 数据库设计者对语义的现实作出设计。 例: 教学U，F U={学号，姓名，年龄，性别，系名，系主任，课程，名成绩} F={学号→姓名，学号→年龄，学号→性别，学号→系名，系名→系主任，(学号，课程名)→成绩} 平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 1）如果X→Y，但Y ? X，则称X→Y是 非平凡的函数依赖 2）若X→Y，但Y ? X, 则称X→Y是 平凡的函数依赖 例：成绩(学号,课程号,成绩)中， 非平凡函数依赖： (学号, 课程号) →成绩 平凡函数依赖： (学号,课程号) → 学号 (学号,课程号) → 课程号 对于任一关系模式，平凡函数依赖都是必然成立的，因此若不特别声明， 我们总是讨论非平凡函数依赖。 函数依赖的逻辑蕴含 从给定的函数依赖，判断其他函数依赖是否存在。 定义设 F 是模式 RU 的函数依赖， X和Y 是属性集U的子集。如果从F中的函数依赖中能推出X→Y，则称X→Y是F的逻辑蕴含。 Armstrong 公理 设U为属性集， F是U上的函数依赖集，于是有关系模式RU,F。对关系模式RU,F来说，有以下推理规则： 自反律：若 Y ? X ? U 则 X?Y 为F所蕴含。 例如，X:（学号, 姓名) Y: （姓名) 则： （学号, 姓名) ? （姓名) 增广律：若 X?Y 为F所蕴含，且 Z 属于 U， 则 XZ ?YZ 为 F 所蕴含。 例如： 学号 ?姓名 (学号, 班级) ?(姓名, 班级) 传递律：若 X?Y 及 Y?Z 为F所蕴含, X?Z 为 F 所蕴含。 例如： 学号? 班级号，班级号? 专业 则