第六章 的关系数据理论.ppt

模式的分解（续） 4. 将SL分解为下面二个关系模式： ND(Sno, Sdept) DL(Sdept, Sloc) 这种分解方法就保持了函数依赖 模式的分解（续） 如果一个分解具有无损连接性，则它能够保证不丢失信息 如果一个分解保持了函数依赖，则它可以减轻或解决各种异常情况 分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖；同样，保持函数依赖的分解也不一定具有无损连接性。 模式的分解（续） 第1种分解方法既不具有无损连接性，也未保持函数依赖， 它不是原关系模式的一个等价分解 第2种分解方法保持了函数依赖，但不具有无损连接性 第3种分解方法具有无损连接性，但未持函数依赖 第4种分解方法既具有无损连接性，又保持了函数依赖 分解算法 算法6.2 判别一个分解的无损连接性 算法6.3（合成法）转换为3NF的保持函数依赖的分解。 算法6.4 转换为3NF既有无损连接性又保持函数依赖的分解 算法6.5 （分解法）转换为BCNF的无损连接分解 算法6.6 达到4NF的具有无损连接性的分解 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.5 小结 关系模式的规范化，其基本思想： 小结(续) 若要求分解具有无损连接性，那么模式分解一定能够达到4NF 若要求分解保持函数依赖，那么模式分解一定能够达到3NF，但不一定能够达到BCNF 若要求分解既具有无损连接性，又保持函数依赖，则模式分解一定能够达到3NF，但不一定能够达到BCNF 小结(续) 规范化理论为数据库设计提供了理论的指南和工具 也仅仅是指南和工具 并不是规范化程度越高，模式就越好 必须结合应用环境和现实世界的具体情况合理地选择数据库模式 下课了。。。 休息一会儿。。。 * * * * * * 1、逻辑蕴涵 设F是关系模式RU, F的函数依赖集，X、Y是R的属性子集。对R的任一个关系r，若函数依赖X?Y均成立，则称F逻辑蕴涵X?Y。 对r的任意两个元组，如果它们在X上 的值相等，则在Y上的值也一定相等。 6.3 数据依赖的公理系统 下面将会看到，可以用下述方式来表述逻辑蕴涵： 若从F中的函数依赖出发能够推出X?Y，则F逻辑蕴涵X?Y。(需要一套推理规则，1974) 2、Armstrong公理 对关系模式RU, F，有如下的推理规则： A1、自反律：若Y?X?U，则X?Y为F所蕴涵。 简写：若Y?X，则X?Y 6.3 数据依赖的公理系统 A2、增广律：若X?Y为F所蕴涵，且Z?U， 则XZ?YZ为F所蕴涵。 简写：若X?Y，则XZ?YZ A3、传递律：若X?Y和Y?Z为F所蕴涵， 则X?Z为F所蕴涵。 简写：若X?Y、Y ? Z，则X?Z 6.3 数据依赖的公理系统 3、Armstrong公理的推论 （1）合并规则：由X?Y， X?Z，有X?YZ。 （2）分解规则：由X?Y及Z?Y，有X?Z。 （3）伪传递规则： 由X?Y， WY?Z，有XW?Z。 决定每一部分必决定全部 决定全部必决定每一部分 6.3 数据依赖的公理系统 根据合并规则和分解规则，容易得出一个重要结论： 引理6.1：X?A1 A2 …Ak成立的充要条件是 X?Ai 成立（i=1，2，…，k）。 有了上述规则，对一个给定的函数依赖集F，自然希望知道哪些函数依赖可由F推出，哪些不能。 二、函数依赖集的闭包 6.3 数据依赖的公理系统 对关系模式RU, F，F所逻辑蕴涵的函数依赖的全体称为F的闭包。记作F+。 函数依赖集的闭包 例：设RU, F,U={X, Y, Z}，F={X?Y,Y?Z}， F+为 X?X XY?X XZ?X XYZ?X Y?Y YZ?Y Z?Z X?Y XY?Y ZX?Y XYZ?Y Y?Z YZ?Z X?Z XY?Z XZ?Z XYZ?Z Y?YZ YZ?YZ X?XY XY?XY XZ?XY XYZ?XY X?XZ XY?XZ XZ?XZ XYZ?XZ X?YZ XY?YZ XZ?YZ XYZ?YZ X?XYZ XY?XYZ XZ?XYZ XYZ?XYZ 6.3 数据依赖的公理系统 求函数依赖集的闭包问