数据库原理与应用第四章.pptVIP

函数依赖闭包 [例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）=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。 4. Armstrong公理系统的有效性与完备性 有效性：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中 /* Armstrong正确 完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来 /* Armstrong公理够用，完全 完备性：所有不能用Armstrong公理推导出来f, 都不为真 若 f 不能用Armstrong公理推导出来， f∈ F+ 有效性与完备性的证明 证明： 1. 有效性 可