函数依赖的等价和覆盖.pptVIP

函数依赖的等价和覆盖 * 第一页，共24页 定理4 已知模式R上的函数依赖集 F和G。当且仅当 F|=G 且 G|=F ，则 F ? G。 证明：如果F|=G，若有X→Y∈G，则F|=X→Y，即X→Y∈F +， 有G?F +，(G)+?(F+)+ = F+， 则(G)+?(F+)。 同理，如果G|=F，有F + ?G +。因此，F +=G +，则F?G。 反之，若F?G，则F|=G和G|=F是显然的。证毕。 研究函数依赖集等价和覆盖的目的是对函数依赖集的化简，比如：无冗余的覆盖、规范覆盖、最小覆盖等。 * 第二页，共24页 例: 证明F={A→BC, A→D, CD→E}和 G={A→BCE, A→ABD, CD→E}等价 证明：根据前面的定理，只需证明F|=G和 G|=F （1）F|=G （a）A→BCE的推导： 由 A→BC, A→D ，合并规则： A→BCD;分解规则 A→CD，又 CD→E，有传递律： A→E；有合并规则A→BCE。 ( b）A→ABD 的推导： A→BC, A→D ,合并规则： A→BCD;分解规则 A→BD;增广律： A→ABD 。 (c) CD→E 已有 （2） G|=F A→BCE, A→ABD,合并规则： A→ABCDE, 由分解