数据库课件第11章DataBase幻灯片.ppt

下课了。。。 休息一会儿。。。 * * 7. 极小化过程 定理11.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。 引理11.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等价。 证毕 定理11.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各属性的处置顺序有关 极小化过程 极小化过程( 定理11.3的证明 )也是检验F是否为极小依赖集的一个算法 若改造后的F与原来的F相同，说明F本身就是一个最小依赖集 极小化过程 在RU，F中可以用与F等价的依赖集G来取代F 原因：两个关系模式R1 U，F，R2U，G，如果F与G等价，那么R1的关系一定是R2的关系。反过来，R2的关系也一定是R1的关系。 第十一章 关系数据库设计理论 11.1 数据依赖 11.2 规范化 11.3 数据依赖的公理系统 11.4 模式的分解 11.4 模式的分解 把低一级的关系模式分解为若干个高一级的关系模式的方法并不是唯一的 只有能够保证分解后的关系模式与原关系模式等价，分解方法才有意义 关系模式分解的标准 三种模式分解的等价定义 ⒈ 分解具有无损连接性 ⒉ 分解要保持函数依赖 ⒊ 分解既要保持函数依赖，又要具有无损连接性 模式的分解（续） 定义11.16 关系模式RU,F的一个分解： ρ={ R1U1,F1，R2U2,F2，…，RnUn,Fn} U=U1∪U2∪…∪Un，且不存在 Ui ? Uj，Fi 为 F在 Ui 上的投影 定义11.17 函数依赖集合{X→Y | X→Y ? F+∧XY ?Ui} 的一个覆盖 Fi 叫作 F 在属性 Ui 上的投影 模式的分解（续） 例: SL（Sno， Sdept， Sloc） F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} SL∈2NF 存在插入异常、删除异常、冗余度大和修改复杂等问题 分解方法可以有多种 模式的分解（续） SL ────────────────── Sno Sdept Sloc ────────────────── 05001 CS A 05002 IS B 05003 MA C 05004 IS B 05005 PH B ────────────────── 模式的分解（续） 1. SL分解为下面三个关系模式： SN(Sno) SD(Sdept) SO(Sloc) 分解后的关系为： SN ────── SD ────── SO ────