第六单元关系数据理论.pptVIP

求闭包的算法 算法6.1 求属性集X（X ? U）关于U上的函数依赖集F 的闭包XF+ 输入：X，F 输出：XF+ 步骤： （1）令X（0）=X，i=0 （2）求B，这里B = { A |(? V)( ? W)(V→W?F∧V ? X（i）∧A? W)}； （3）X（i+1）=B∪X（i） （4）判断X（i+1）= X （i）吗? （5）若相等或X（i）=U , 则X（i）就是XF+ , 算法终止。 （6）若否，则 i=i+l，返回第（2）步。 算法6.1 对于算法6.1， 令ai =|X（i）|，{ai }形成一个步长大于1的严格递增的序列，序列的上界是 | U |，因此该算法最多 |U| - |X| 次循环就 会终止。 函数依赖闭包 [例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）=AB∪CD=ABCD。 (2) X（0）≠ X（1） X（2）=X（1）∪BE=ABCDE。 (3) X（2）=U，算法终止 ?（AB）F+ =ABCDE。 4. Armstrong公理系统的有效性与完备性 定理6.2 Armstrong公理系统是有效的、完备的 证明： 1. 有效性 可由定理6.1得证 2. 完备性 只需证明逆否命题: 若函数依赖X→Y不能由F从Armstrong公理导出，那么它必然不为F所蕴含 Armstrong公理系统完备性证明 (1) 引理: 若V→W成立，且V ? XF+，则W ? XF+ (2) 构造一张二维表r，它由下列两个元组构成，可以证明r必是R（U，F）的一个关系，即F+中的全部函数依赖在 r上成立。 XF+ U-XF+ 11......1 00......0 ? 11......1 11......1 ? (3) 若X→Y 不能由F从Armstrong公理导出，则Y 不是XF+ 的子集。 5. 函数依赖集等价 定义6.14 如果G+=F+，就说函数依赖集F覆盖G（F是G的覆盖，或G是F的覆盖），或F与G等价。 引理6.3 F+ = G+ 的充分必要条件是F ? G+ ，和G ? F+ 证: 必要性显然，只证充分性。 （1）若F?G+ ，则XF+ ? XG++ 。 （2）任取X→Y?F+ 则有 Y ? XF+ ? XG++ 。 所以X→Y ? (G+）+= G+。即F+ ? G+。 （3）同理可证G+ ? F+ ，所以F+ = G+。 6. 最小依赖集 定义6.15 如果函数依赖集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] 关系模式SU，F，其中： U={ Sno，Sdept，Mname，Cno，Grade }， F={ Sno→Sdept，Sdept→Mname，(Sno，Cno)→Grade } 设F’={Sno→Sdept，Sno→Mname，Sdept→Mname， (Sno，Cno)→Grade，(Sno，Sdept)→Sdept} F是最小覆盖，而F’不是。 因为：F ’ - {Sno→Mname}与F ’等价 F ’ - {(Sno，Sdept)→Sdept}也与F ’等价 7. 极小化过程 定理6.3 每一个函数依赖集F均等价于一个极小函数依赖 集Fm。此Fm称为F的最小依赖集。 证明: 构造性证明，找出F的一个最小依赖集。 极小化过程（续） (1)逐一检查F中各函数依赖FDi：X→Y，若Y=A1A2 …Ak，k 2，则用 { X→Aj |j=1，2，…， k} 来取代X→Y。 (2)逐一检查F中各函数依赖FDi：X→A，令G=F-{X→A}， 若A?XG+， 则从F中去掉此函数依赖。 (3)逐一取出F中各函数依赖FDi：X→A，设X=B1B2…Bm， 逐一考查Bi （i=l，2，…，m），若A ?（X-Bi ）F+ ， 则以