数据库原理及应用教程 第二版 教学课件 作者 陈志泊 第4章 关系数据库理论.pptVIP

北京林业大学 软件教研室 第4章 关系数据库理论 4.1 规范化问题的提出 4.2 函数依赖 4.3 关系模式的分解* 4.4 关系模式的范式 4.5 关系模式的规范化 4.1 规范化问题的提出 4.1.1 规范化理论的主要内容 关系数据库的规范化理论 函数依赖 范式（Normal Form） 模式设计 4.1.2 不合理的关系模式存在的存储异常问题 教学管理数据库 SCD(SNo，SN，Age，Dept，MN，CNo，Score) 在此关系模式中填入一部分具体的数据 一个好的关系模式应该具备以下四个条件： （1）尽可能少的数据冗余； （2）没有插入异常； （3）没有删除异常； （4）没有更新异常。 4.2 函数依赖 4.2.1 函数依赖的定义 定义4.1 SNo决定函数（SN，Age，Dept） （SN，Age，Dept）函数依赖于SNo 4.2.2 函数依赖的逻辑蕴涵定义 定义4.2 设F是在关系模式R(U)上成立的函数依赖集合，X，Y是属性集U的子集，X→Y是一个函数依赖。如果从F中能够推导出X→Y，即如果对于R的每个满足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.3函数依赖的推理规则 Armstrong公理 自反律： 如果YXU，则X→Y在R上成立如果YXU，则X→Y在R上成立 增广律 ： 若X→Y在R上成立，且ZU，则XZ→YZ在R上也成立 传递律 ： 若X→Y和Y→Z在R上成立，则X→Z在R上也成立 Armstrong公理推论 合并律（Union rule） 若X→Y和X→Z在R上成立，则X→YZ在R上也成立 伪传递律（Pseudotransitivity rule） 若X→Y和YW→Z在R上成立，则XW→Z在R上也成立 分解律（Decomposition rule） 若X→Y和ZY在R上成立，则X→Z在R上也成立 复合律（Composition） 若X→Y和W→Z在R上成立，则XW→YZ在R上也成立 4.2.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。而SNo→Age，所以(SNo，CNo) →Age 4.2.5 传递函数依赖 设有关系模式R(U)，U是属性全集，X，Y，Z是U的子集 若X→Y，但Y X，而Y→Z（Y X，Z Y），则称Z对X传递函数依赖 ，记作：X → Z 。 如果Y→X，则X Y，这时称Z对X直接函数依赖，而不是传递函数依赖。 4.2.6 属性集的闭包及其算法 X +={属性A|X→A在F +中} 定理4.3 X→Y能用函数依赖推理规则推出的充分必要条件是Y X +中 算法4.1 result=X do { if F中有某个函数依赖Y→Z满足Y result then result=result ∪ Z } while (result有所改变); 4.2.7 候选键的求解理论和算法 关键码的定义 如果X→U在R上成立（即X→U在F +中），那么称X是R的一个超键。 如果X→U在R上成立，但对X的任一真子集X′都有X′→U不成立（即X′→U不在F+中，或者X → U），那么称X是R上的一个候选键。 快速求解候选键的一个充分条件 对于给定的关系模式R(A1…，An)和函数依赖集F，可将其属性分为以下四类： 定理4.4 对于给定的关系模式R及其函数依赖集F （1）若X（X∈R）是L类属性，则X必为R的任一候选键的成员。 （2）若X（X∈R）是L类属性，且X +包含了R的全部属性，则X必为R的惟一候选键。 （3）若X（X∈R）是R类属性，则X不在任何候选键中。 （4）若X（X∈R）是N类属性，则X包含在R的任一候选键中。 （5）若X（X∈R）是R的N类和L类