关系数据库理论.ppt

*2NF规范化2NF规范化是指把1NF关系模式通过投影分解，转换成2NF关系模式的集合。 [例4-15]将SCD(SNo，SN，Age，Dept，MN，CNo，Score)规范为2NF。ScoreSNoCNoDeptMNSNAge分解后:SNoDeptMNSNAgeScoreSNoCNoSC(SNo，CNo，Score)SD(SNo，SN，Age，Dept，MN)*2NF的缺点删除异常更新异常02数据冗余每个系名和系主任的名字存储的次数等于该系的学生人数插入异常当一个新系没有招生时，有关该系的信息无法插入某系学生全部毕业而没有招生时，删除全部学生的记录也随之删除了该系的有关信息更换系主任时，仍需改动较多的学生记录01第4章关系数据库理论*4.1规范化问题的提出4.2函数依赖4.3关系模式的分解*4.4关系模式的范式4.5关系模式的规范化*模式分解的标准4.1.1规范化理论的主要内容关系数据库的规范化理论函数依赖范式（NormalForm）模式设计4.1规范化问题的提出核心，是模式分解和设计的基础*4.1.2不合理的关系模式存在的存储异常问题 教学管理数据库 SCD(SNo，SN，Age，Dept，MN，CNo，Score)在此关系模式中填入一部分具体的数据SNoSNAgeDeptMNCNoScoreS1赵亦17计算机刘伟C190S1赵亦17计算机刘伟C285S2钱尔18信息王平C557S2钱尔18信息王平C680S2钱尔18信息王平C7…*SNoSNAgeDeptMNCNoScoreS1赵亦17计算机刘伟C190S1赵亦17计算机刘伟C285S2钱尔18信息王平C557S2钱尔18信息王平C680S2钱尔18信息王平C7…该表出现的问题数据冗余插入异常删除异常更新异常根本原因：属性间存在着数据依赖关系包罗万象*一个好的关系模式应该具备以下四个条件：（1）尽可能少的数据冗余；（2）没有插入异常；（3）没有删除异常；（4）没有更新异常。SCD(SNo，SN，Age，Dept，MN，CNo，Score)S(SNo，SN，Age，Dept)SC(SNo，CNo，Score)D(Dept，MN)关系模式分解：*4.2函数依赖4.2.1函数依赖的定义定义4.1设关系模式R(U,F),U为属性全集,F为函数依赖集,X和Y为U的子集,对于R(U)上的任何关系r,X每一个具体值,Y都有唯一值与之对应,称X函数决定Y,或Y函数依赖于X,记作X→Y. SNo函数决定（SN，Age，Dept）（SN，Age，Dept）函数依赖于SNoSCD(SNo，SN，Age，Dept，MN，CNo，Score)SNo一个学生SN，Age，Dept惟一确定惟一确定*4.2.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.2设F是函数依赖集，被F逻辑蕴涵的函数依赖的全体构成的集合，称为函数依赖集F的闭包（Closure），记为F+。即：F+={X→Y|F|=X→Y}定义4.3*函数依赖的推理规则Armstrong公理自反律：如果YXU，则X→Y在R上成立增广律：若X→Y在R上成立，且ZU，则XZ→YZ在R上也成立传递律：若X→Y和Y→Z在R上成立，则X→Z在R上也成立*合并律（Unionrule）若X→Y和X→Z在R上成立，则X→YZ在R上也成立伪传递律（Pseudotransitivityrule）若X→Y和YW→Z在R上成立，则XW→Z在R上也成立分解律（Decompositionrule）若X→Y和Z?Y在R上成立，则X→Z在R上也成立复合律（Composition）若X→Y