第十一章关系数据理论-new课件.ppt

第十章: 关系数据理论 问题的提出 规范化 数据依赖的公理系统 关系模式的分解 问题的提出 由ER模型翻译为关系模式, 得到的关系模式一定是好的吗? 一个好的设计不一定导致一个好的关系模式 ER的设计过程是主观的和复杂的 有些约束用ER无法表示 转换后的关系模式可能存在冗余 问题的提出 例子: 描述学生情况的关系模式: S(S#, SD, MN, CN, G) 其中: 一个系有若干学生, 但一个学生只属于一个系 一个系只有一名负责人 一个学生可以选修多门课, 每门课可有若干学生选修 每个学生学习每一门课程有一个成绩 问题的提出 一个关系为 95001 CS 李洪 数学 90 95001 CS 李洪 数据库 90 95002 CS 李洪 数学 90 95002 CS 李洪 数据库 90 95003 MA 张力 普物 90 95003 MA 张力 数论 90 存在的问题 冗余太大: 删除异常: 删除某系学生的选课将删除系信息 插入异常: 系刚成立, 无学生; 有学生, 但未选课 问题的提出 结论: 关系模式S(S#, SD, MN, CN, G)不是好的关系模式, 好的关系模式不会发生插入异常、删除异常和冗余尽可能少 规范化理论讨论的内容: 如何发现关系模式不好, 如何改造不好的关系模式 关系模式不好是因为其中存在的数据依赖具有不好的性质 数据依赖: 实体内部各属性之间的联系, 是现实世界属性间相互联系的抽象, 是数据内在的性质, 是语义的体现 重要的两种数据依赖: 函数依赖和多值依赖 规范化 范式: 关系数据库中的关系模式是要满足一定要求的, 满足不同程度要求的称为不同的范式 第几范式是表示关系的某一种级别, 如果把范式理解成符合某一种级别的关系模式的集合, 则关系模式R为第几范式可以表示成: R?XNF 各种范式之间的联系为: 5NF?4NF ? 3NF ? 2NF ? 1NF 规范化 规范化: 有时候为了控制由于冗余带来的问题而要求关系模式满足一定的范型，可以通过模式分解来达到，这一过程称之为规范化(Normalization) 规范化目的: 改造不好的关系模式 函数依赖: 设RU是属性集U上的关系模式, X, Y是U的子集, 若对于RU的任意一个可能的关系r, r中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称“X函数确定Y”或“Y函数依赖于X”, 记作X?Y 规范化 例子: S (S#, SN, SA,SD) X, Y含义: 假定关系r, r1和r2是其中两个元组, 如果 r1[X]=r2[X]=‘95001’ , 从应用要求可知 r1[Y]=r2[Y]=(‘王立’, ‘18’, ‘CS’), 即r1和r2是一个元组, 则X?Y X, Y含义: X--SN, Y--SA 假定r1和r2是关系r中的两个元组, 如果 r1[X]=r2[X]=‘王立’ , 从应用要求可知(重名) r1[Y]=‘18’ 而 r2[Y]=‘19’, 则X Y 规范化 注意: 函数依赖是指关系模式R的一切关系均要满足的约束条件; 函数依赖和别的数据依赖一样是语义范畴的概念(只能从属性含义上加以说明, 不能在数据上加以证明) 一些记号和术语: 若X?Y, 则称X为决定因素 若X?Y, Y?X , 则记作X?Y 若Y不函数依赖于X, 则记作X Y 非平凡函数依赖: 若X?Y, 但Y X, 则称X?Y是非平凡的函数依赖 平凡函数依赖: 若X?Y, 但Y X, 则称X?Y是平凡的函数依赖 规范化 完全函数依赖: 在RU中, 如果X?Y, 并且对于 X 的任何真子集X’, 都有X’ Y, 则称Y对X完全函数依赖, 记作X Y 部分函数依赖: 如果X?Y, 但Y不完全函数依赖于 X, 则称Y对X部分函数依赖, 记作X Y 函数传递依赖: 在RU中, 如果 X?Y, (Y X), Y X, Y?Z, 则称Z对X传递函数依赖 候选码: 设K为RU中的属性或属性组, 若K U, 则称K为候选码 规范化 主码: 若候选码为多个, 选其中一个为主码 主属性: 包含在任何一个候选码中的属性 非主属性: 关系模式的表示: 一个关系模式可以表示成 RU, D, DOM, F, 根据讨论问题需要, 以前简化表示为 RU , 现在简化表示为 RU, F 一范式(1NF)：如果一个关系中的所有属性值均是原子的，则称该关系满足1NF。关系模型中的关系必须