数据库系统概论第四版教材对应的课件徐龙琴第六章关系数据理论幻灯片.ppt

An Introduction to Database System 算法6.1 对于算法6.1， 令ai =|X（i）|，{ai }形成一个步长大于1的严格递增的序列，序列的上界是 | U |，因此该算法最多 |U| - |X| 次循环就 会终止。 An Introduction to Database System 函数依赖闭包 [例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。 An Introduction to Database System 4. Armstrong公理系统的有效性与完备性 定理6.2 Armstrong公理系统是有效的、完备的 证明： 1. 有效性 可由定理6.1得证 2. 完备性 只需证明逆否命题: 若函数依赖X→Y不能由F从Armstrong公理导出，那么它必然不为F所蕴含 An Introduction to Database System 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+ 的子集。 An Introduction to Database System 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+。 An Introduction to Database System 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等价。 An Introduction to Database System 最小依赖集 [例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 ’等价 An Introduction to Database System 7. 极小化过程 定理6.3 每一个函数依赖集F均等价于一个极小函数依赖 集Fm。此Fm称为F的最小依赖集。 证明: 构造性证明，找出F的一个最小依赖集。 An Introduction to Database System 极小化过程（续） (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+， 则