关系数据理论D.pptVIP

* 函数依赖集等价 要判定F ? G+，只须逐一对F中的函数依赖X→Y，考察 Y 是否属于XG++ 就行了。因此引理5.3 给出了判断两个函数依赖集等价的可行算法。 * 6. 最小依赖集 定义5.15 如果函数依赖集F满足下列条件，则称F为一个极小函数依赖集。亦称为最小依赖集或最小覆盖。 1 F中任一函数依赖的右部仅含有一个属性。 2 F中不存在这样的函数依赖X→A，使得F与F- X→A 等价。 3 F中不存在这样的函数依赖X→A， X有真 子集Z使得F- X→A ∪ Z→A 与F等价。 * 最小依赖集 [例2] 对于5.l节中的关系模式S U，F ，其中： U SNO，SDEPT，MN，CNAME，G ， F SNO→SDEPT，SDEPT→MN， （SNO，CNAME）→G 设F’ SNO→SDEPT，SNO→MN， SDEPT→MN， SNO，CNAME →G， SNO，SDEPT →SDEPT F是最小覆盖，而F ’不是。 * F是最小覆盖，而F ’不是。 因为：1 F ’- SNO→MN 与F ’等价 2 F ’- SNO，SDEPT →SDEPT 也与F ’等价 3 F ’- SNO，SDEPT →SDEPT ∪ SNO→SDEPT 也与F ’等价 * 7. 极小化过程 定理5.3 每一个函数依赖集F均等价于一个极小函数依赖集Fm。 此Fm称为F的最小依赖集 证:构造性证明，依据定义分三步对F进行“极小化处理”，找出F的一个最小依赖集。 * 1 逐一检查F中各函数依赖FDi： X→Y， 若Y A1A2 …Ak，k 2， 则用 X→Aj |j 1，2，…， k 来取代X→Y。 引理5.1保证了F变换前后的等价性。 * 极小化过程 2 逐一检查F中各函数依赖FDi：X→A， 令G F - X→A ， 若A?XG+， 则从F中去掉此函数依赖。 由于F与G F - X→A 等价的充要条件是A?XG+ 因此F变换前后是等价的。 * 极小化过程 3 逐一取出F中各函数依赖FDi：X→A， 设X B1B2…Bm， 逐一考查Bi （i l，2，…，m）， 若A ?（X-Bi ）F+ ， 则以X-Bi 取代X。 由于F 与F - X→A ∪ Z→A 等价的充要条件是A?ZF+ ，其中Z X-Bi 因此F变换前后是等价的。 * 极小化过程 由定义，最后剩下的F就一定是极小依赖集。 因为对F的每一次“改造”都保证了改造前后的两个函数依赖集等价，因此剩下的F与原来的F等价。 证毕 定理5.3的证明过程 也是求F极小依赖集的过程 * 极小化过程 [例3] F A→B，B→A，B→C， A→C，C→A Fm1、Fm2都是F的最小依赖集： Fm1 A→B，B→C，C→A Fm2 A→B，B→A，A→C，C→A F的最小依赖集Fm不一定是唯一的, 它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关 * 极小化过程 极小化过程 定理5.3的证明 也是检验F是否为极小依赖集的一个算法 若改造后的F与原来的F相同，说明F本身就是一个最小依赖集 * 极小化过程 在R U，F 中可以用与F等价的依赖集G来取代F 原因：两个关系模式R1 U，F ，R2 U，G ，如果F与G等价，那么R1的关系一定是R2的关系。反过来，R2的关系也一定是R1的关系。 * 下课了。。。 休息一会儿。。。 * 第五章 关系数据理论 5.1 数据依赖 5.2 规范化 5.3 数据依赖的公理系统 5.4 模式的分解 * 5.3 数据依赖的公理系统 逻辑蕴含 定义5.11 对于满足一组函数依赖 F 的关系模式R U，F ，其任何一个关系r，若函数依赖X→Y都成立, 则称 F逻辑蕴含X →Y * Armstrong公理系统 一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码 从一组函数依赖求得蕴含的函数依赖 * 1. Armstrong公理系统 关系模式R U，F 来说有以下的推理规则： Al.自反律（Reflexivity）： 若Y ? X ? U，则X →Y为F所蕴含。 A2.增广律（Augmentation）： 若X→Y为F所蕴含，且Z ? U，则XZ→YZ为F所蕴含。 A3.传递律（Transitivity）： 若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。 注意：由自反律所得到的函数依赖均是平凡的函数依赖，自反律的使用并不依赖于F * 定理 5.l Armstrong推理规则是正确的 （l）自反律:若Y ? X ? U，则X →Y为F所蕴含 证: 设Y ? X ? U 对R U，F 的任一关系r中的