数据库课件 六章 关系数据库设计理论.pptVIP

6.4.3 函数依赖集的等价和最小化 (3)去掉F中各依赖左部多余的属性: 检查AB→C： G=F-{AB?C}={C→A, CG→D, ACD→B} 由于：AG+ = {A}， BG+ = {B} 保留AB?C： F = {AB→C, C→A, CG→D, ACD→B} F = {AB→C, C→A, CG→D, ACD→B} 检查CG→D： G=F-{CG?D}={AB→C, C→A, ACD→B} 由于：CG+ = {C，A}， GG+ = {G} 保留CG?D： F = {AB→C, C→A, CG→D, ACD→B} 6.4.3 函数依赖集的等价和最小化 检查ACD→B： G=F-{ACD?B}={AB→C, C→A, CG→D} 由于：CDG+ = {C，D，A}， 包含A 则A多余，可用CD?B替代ACD?B 得到： F = {AB→C, C→A, CG→D, CD→B} 最后： Fmin = {AB→C, C→A, CG→D, ACD→B} F = {AB→C, C→A, CG→D, ACD→B} 注意:1)F的最小依赖集Fm不一定是唯一的，它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关。 2)若改造后的F与原来的F相同，说明F本身就是一个最小依赖集。 6.5 模式分解 把低一级的关系模式