第6章数据依赖的公理重做.pptVIP

第六章 关系数据理论 6.1 数据依赖 6.2 规范化 6.3 数据依赖的公理系统 U={A, B, C, D}; F={A B, BC D}; A+ = AB. C+ = C. (AC)+ = ABCD. 函数依赖闭包 [例1] 已知关系模式RU，F，其中 U={A，B，C，D，E}； F={AB→C，B→D，C→E，EC→B，AC→B}。 求（AB）F+ 。 解 设X（0）=AB； (1)计算X（1）: 逐一的扫描F集合中各个函数依赖， 找左部为A，B或AB的函数依赖。得到两个： AB→C，B→D。 于是X（1）=x(0) ∪ CD=AB∪CD=ABCD。 函数依赖闭包 (2)因为X（0）≠ X（1） ，所以再找出左部为ABCD子集的那些函数依赖， 又得到AB→C，B→D， C→E，AC→B， 于是X（2）=X（1）∪BCDE=ABCDE。 (3)因为X（2）=U，算法终止 所以（AB）F+ =ABCDE。 作业: 已知关系模式RU，F，其中 U={A，C，D,E}； F={D→G，C→A，CD→E，A→B }。 求（D）F+ , （C）F+ , （A）F+ , （CD）F+ , （AD）F+ , （AC）F+ , （ACD）F+ 。 随堂练习 例4 已知关系模式RU，F，其中 U={A，B，C，D，E, G,H,P}； F={AB→CD，A→C，GP→B， EP→P ,CDE→P，HB→P, D→HG，D→HG，ABC→PG}。 求（D）F+ 。 解 设X（0）=D； (1)计算X（1）: 逐一的扫描F集合中各个函数依赖， 找左部为D的函数依赖。得到两个： D→HG。 于是X（1）=D∪HG=DGH。 F={AB→CD，A→C，GP→B，EP→P ,CDE→P，HB→P, D→HG，D→HG，ABC→PG}。 (2)因为X（0）≠ X（1） ，所以再找出左部为DGH子集的那些函数依赖， 未找到, 于是X（2）=DGH。 (3)因为X（2）= X（1） ，所以算法终止 所以（D）F+ =DGH。 (1)函数依赖集等价的充要条件 引理6.3 F+ = G+ 的充分必要条件是 F ? G+ ，和G ? F+ 6. 最小依赖集 定义6.16 如果函数依赖集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] 对于6.l节中的关系模式SU，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 ’-{SNO→MN}与F ’等价 F ’-{(SNO，SDEPT)→SDEPT}也与F ’等价 F ’-{(SNO，SDEPT)→SDEPT} ∪{SNO→SDEPT}也与F ’等价 7. 极小化过程 定理6.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。 引理6.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：