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

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 模式分解 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的； 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义； 实际上，关系模式的分解，不仅仅是属性集合的分解，它是对关系模式上的函数依赖集，以及关系模式的当前值的分解的具体表现。 6.5.1 模式分解的准则 定义6.18 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} 其中：U=U1∪U2∪…∪Un，且不存在 Ui ? Uj， Fi 为 F在 Ui 上的投影。 定义6.19 函数依赖集合{X→Y|X→Y?F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影。 6.5.1 模式分解的准则 三种模式分解的“等价”定义： ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖，又要具有无损连接性 6.5.2 分解的函数依赖保持性和无损连接性 例: 已知关系模式：SDLU, F U={Sno, Sdept, Sloc} F={Sno→Sdept, Sdept→Sloc, Sno→Sloc} 因为：SDL中存在传递函数依赖 Sno→Sloc 所以： SL∈2NF 存在插入异常、删除异常、冗余度大和更新异常等问题，则可进行分解，且分解方法可以有多种： 6.5.2 分解的函数依赖保持性和无损连接性 SDL ───────────── Sno Sdept Sloc ───────────── 95001 CS A 95002 IS B 95003 MA C 95004 IS B 95005 PH B ───────────── 6.5.2 分解的函数依赖保持性和无损连接性 第一种分解： SDL分解为下面三个关系模式： SN(Sno) SD(Sdept) SO(Sloc) SN ────── SD ────── SO ──── Sno Sdept Sloc ────── ────── ──── 95001 CS A 95002 IS B 95003 MA C 95004 PH ───