第六章关系数据理论教案分析.ppt

An Introduction to Database System 3. F的闭包和公理的有效性和完备性 F的闭包定义：在关系模式R（U，F）中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。（关系中存在的函数依赖的全体） 公理有效性：由F出发根据Armstrong公理推导出来的每一个函数依赖一定在F+中。 完备性：F+中的每一个函数依赖，必定可以由F出发根据Armstrong公理推导出来。 即由F 出发根据Armstrong公理可推导出所有函数依赖。 An Introduction to Database System 4.属性集关于函数依赖F的闭包 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A| A ?U 且X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包 XF+实际是由F可导出的函数依赖于X 的全体属性组成 设F为属性集U上的一组函数依赖，X，Y ? U，X→Y能由F 根据Armstrong公理导出的充分必要条件是Y ? XF+（由分解和合并导出规则可证） An Introduction to Database System 求属性集X闭包的算法 步骤： （1）令X（0）=X，i=0 （2）求B，这里B = { A | (? V)( ? W)(V→W?F ∧V ? X（i）∧A? W)}；(B=F中的函数依赖于 X（0）所有属性) （3）X（i+1）=B∪X（i） An Introduction to Database System （4）判断X（i+1）= X （i）吗? （5）若相等或X（i）=U , 则X（i）就是XF+ , 算法终止。 （6）若否，则 i=i+1，返回第（2）步。 由于X（i）每次均有属性加入，因此该算法最多 |U| - |X| 次循环就会终止，其中|U|和|X|分别表示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；（AB={A，B}） (1)计算X（1）: 逐一的扫描F集合中各个函数依赖， 找左部为A，B或AB的函数依赖。得到两个：AB→C，B→D。于是X（1）=CD∪X（0） =CD ∪ AB=ABCD。 An Introduction to Database System 函数依赖闭包 (2)因为X（0）≠ X（1） ≠ U ，所以再在F中找出左部为ABCD子集的那些函数依赖，又得到AB→C，B→D， C→E，AC→B， 于是X（2）=BCDE ∪ X（1） =ABCDE。 (3)因为X（2）=U，算法终止 所以（AB）F+ =ABCDE。 An Introduction to Database System 根据F及利用闭包求候选码 依据F的属性分类： Ｌ类属性：只在函数依赖集左部出现的属性 Ｒ类属性：只在函数依赖集右部出现的属性 LR类属性：在函数依赖集左部和右部都出现的属性 Ｎ类属性：不出现在依赖集中的属性 An Introduction to Database System 法则(可用公理系统证明)： 属于Ｎ或Ｌ类的属性必为任一候选码的组成部分。 N类和L类属性在F所包含的函数依赖中不依赖于任何属性，但它必须依赖于候选码，所以它必被候选码包含。 属于Ｒ类的属性不会是任一候选码的成员。 R类属性在F所包含的函数依赖中只出现在右侧，即只依赖于其他属性而不被任何属性依赖。 属性集是候选码的必要条件是其闭包为属性全体 由上可得：N∪L一定被任一侯选码包含，若（N∪L）F+ =U，则N∪L为唯一侯选码。（侯选码的最小性原则） An Introduction to Database System 例：R(U,F), U={A, B, C, D, E, F}, F={A-BCDF, C-BADF} ,求侯选码。 L类属性：无 R类属性：B，D，F LR类属性：A，C N类属性：E 候选码必包含E，必不包含B，D，F 可能的候选码为E，EA，EC，ACE，分别求其闭包确定其是否是候选码 E F+ =E，EA F+ =U， EC F+ =U，所以EA和EC为候选码。（ACE不符合码的最小性原则） R(A,B,C,D),F={A-B,BC-A}求候选码 L:C，R:无，LR：AB，N：D 候选码必包含：CD，可能包含AB CD闭包＝CD CDA闭包＝ABCD，CDA为候选码 CDB闭包＝ABCD，CDB为候选码 An Introduction to Database System 最小依赖集