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

北京林业大学 软件教研室 第4章 关系数据库理论 4.1 规范化问题的提出 4.2 函数依赖 4.3 关系模式的分解 4.4 关系模式的范式 4.5 关系模式的规范化 4.1 规范化问题的提出 4.1.1 规范化理论的主要内容 数据库设计中的问题： 在一个数据库中应该包含多少关系？ 每个关系应该包含哪些属性？ 如何建立关系之间的联系？ 关系数据库规范化理论： 函数依赖、范式、模式设计 4.1.2 不合理的关系模式存在的存储异常问题 教学管理数据库 SCD (SNo, SN, Age, Dept, MN, CNo, Score) 学号, 姓名, 年龄, 系别, 系主任, 课程号, 成绩 一个好的关系模式应该具备以下四个条件： （1）尽可能少的数据冗余； （2）没有插入异常； （3）没有删除异常； （4）没有更新异常。 一个好的关系模式并不是所以情况下都最优 4.2 函数依赖 4.2.1 函数依赖的定义 数据依赖：关系模式中各属性之间相互依赖、相互制约的联系称为数据依赖 数据依赖分为函数依赖，多值依赖和连接依赖 函数依赖：关系模式中，属性之间的逻辑依赖关系 定义4.1 设关系模式R(U,F)，U是属性全集，F是U上的函数依赖集，X和Y是U的子集。 如果对于R的任意一个关系r，对于X的每个具体值，Y都有唯一值与之对应，则称X决定函数Y，或Y函数依赖于X，记作X?Y。 当Y不函数依赖X时，记作X?Y 当X?Y且Y?X时，记作X?Y 4.2.2 函数依赖的逻辑蕴涵定义 能否从已知的依赖推导出其他依赖？ 定义4.2 设F是在关系模式R(U)上成立的函数依赖集合，X，Y是属性集U的子集，X→Y是一个函数依赖。 如果从F中能够推导出X→Y，即如果每个满足F的关系 r 也满足X→Y，则称X→Y为F的逻辑蕴涵（或F逻辑蕴涵X→Y），记为F | =X→Y 定义4.3 设F是函数依赖集。 被F逻辑蕴涵的函数依赖的全体构成的集合，称为函数依赖集F的闭包（Closure），记为F +。 即：F +={ X→Y | F |=X→Y } 4.2.4 完全函数依赖与部分函数依赖 定义4.4 设有关系模式R(U)，U是属性全集，X和Y是U的子集： 如果X→Y，并且对于X的任何一个真子集X′，都有X′ Y，则称Y对X完全函数依赖，记作X → Y。 如果X→Y，且对于X的某个真子集X’ ，有X’→Y，则称Y对X部分函数依赖，记作X→Y 在关系模式SCD中，因为SNo Score，且CNo Score，所以有：(SNo，CNo) →Score。 4.2.5 传递函数依赖 定义4.5 设有关系模式R(U)，U是属性全集，X，Y，Z是U的子集 若X→Y，但Y X，而Y→Z（Z∈Y ，Y∈X)，则称Z对X传递函数依赖 ，记作：X → Z 。 如果Y→X，则X?Y，则X→ Z，Z对X直接函数依赖，而不是传递函数依赖。 复习 1.函数依赖 定义4.1 设关系模式R，U是属性全集，X和Y是U的子集。 如果对于R的任意一个关系r，对于X的每个具体值，Y都有唯一值与之对应，则称X决定函数Y，或Y函数依赖于X，记作X?Y。 用F表示U上的函数依赖集 2.逻辑蕴含 定义4.2 设F是在关系模式R(U)上成立的函数依赖集合，X，Y是属性集U的子集。 如果从F中能够推导出X→Y，即如果每个满足F的关系 r 也满足X→Y，则称X→Y为F的逻辑蕴涵（或F逻辑蕴涵X→Y），记为F | =X→Y 3.函数依赖集的闭包 被F逻辑蕴涵的函数依赖的全体构成的集合，称为函数依赖集F的闭包（Closure），记为F +。 即：F +={ X→Y | F |=X→Y } 4.2.6 属性集的闭包及其算法 将求函数依赖集F的闭包简化为求属性集的闭包 设有关系模式R(U)，U是属性全集，X，Y是U的子集 ，F是R的函数依赖集 定义4.6 用函数依赖推理规则可从F推出的函数依赖X→A中所有A的集合，称为属性集X关于F的闭包，记作 X+ 即，X+ ={属性A |X→A在F+中} 定理4.3 X→Y能用函数依赖推理规则推出的充分必要条件是Y X+ 算法4.1 求属性集X相对于函数依赖集F的闭包X+ 初始化：设result=X do { if F 中有某个函数依赖Y→Z满足Y result then result=result ∪ Z } while (result有所改变); 例，设属性集U为XYZW，函数依赖集F为{ X?Y, Y?Z, W?