第4章[讲3数据依赖公理系统]DataBase关系数据理论.pptVIP

第四章 关系数据理论;4.3 数据依赖的公理系统;Armstrong公理系统;1. Armstrong公理系统;（1）自反律:若Y ? X ? U，则X →Y为F所蕴含 证: 设Y ? X ? U 对R U，F 的任一关系r中的任意两个元组t，s： 若t[X]=s[X]，由于Y ? X，有t[Y]=s[Y]， 所以X→Y成立. 自反律得证;(2)增广律: 若X→Y为F所蕴含，且Z ? U，则XZ→YZ 为F所蕴含。 证：设X→Y为F所蕴含，且Z ? U。 设RU，F 的任一关系r中任意的两个元组t，s； 若t[XZ]=s[XZ]，则有t[X]=s[X]和t[Z]=s[Z]； 由X→Y，于是有t[Y]=s[Y]，所以t[YZ]=s[YZ]，所以XZ→YZ为F所蕴含. 增广律得证。;(3) 传递律：若X→Y及Y→Z为F所蕴含，则 X→Z为 F所蕴含。 证：设X→Y及Y→Z为F所蕴含。 对RU，F 的任一关系 r中的任意两个元组 t，s。 若t[X]=s[X]，由于X→Y，有 t[Y]=s[Y]； 再由Y→Z，有t[Z]=s[Z]，所以X→Z为F所蕴含. 传递律得证。;2. 导出规则; 根据合并规则和分解规则，可得引理4.1 引理4.l X→A1 A2…Ak成立的充分必要条件是X→Ai成立（i=l，2，…，k）。;3. 函数依赖闭包; 用Armstrong公理及其推论可以从F上推导出很多FD，但在实际问题中我们只对某个属性或属性组所决定的FD感兴趣（例如判断候选码），引出XF+ (*)。 ;定义4.13 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的属性闭包。 ;关于闭包的引理;求闭包的算法;（4）判断X（i+1）= X （i）吗? （5）若相等或X（i）=U , 则X（i）就是XF+ , 算法终止。 （6）若否，则 i=i+l，返回第（2）步。 对于算法4.l， 令ai =|X（i）|，{ai }形成一个步长大于1的严格递增的序列，序列的上界是 | U |，因此该算法最多 |U| - |X| 次循环就会终止。;求属性闭包举例 (*);(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公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完备性(续);5. 函数依赖集等价;函数依赖集等价的充要条件;函数依赖集等价;6. 最小依赖集 (理解定义);求最小依赖集举例;7. 极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;极小化过程;求解候选码理论（增加）;第四章 关系数据理论;4.4 模式的分解;关系模式分解的标准;例: SL（Sno， Sdept， Sloc） F={ Sno→Sdept,Sdept→Sloc,Sno→Sloc} SL∈2NF 存在弊病 分解方法可以有多种 ;模式分解;分解后的关系为：; 分解后的数据库丢失了许多信息 例如无法查询95001学生所在系或所在宿舍。 如果分解后的关系可以通过自然连接恢复为原来的关系，那么这种分解就没有丢失信息。 ;2. SL分解为下面二个关系模式： NL(Sno, Sloc) DL(Sdept, Sloc) 分解后的关系为： NL ──────────── DL ──────────── Sno Sloc Sdept Sloc ──────────── ────────────