第1章节联系模型与联系运算.pptVIP

* 定义(使用集) 用公理从F推出 X→Y成立所使用的函数依赖组成的序列称F上的一个推理序列。在推理序列中出现的且包含在F中的函数依赖的集合称推理序列的使用集(use set)，记为： U(F, X→Y) 例：U(F, AB→GH) ={AB→E，E→G， BE→I， GI→H} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 定义(函数依赖集F的闭包 F +) 设F是关系r(R)上的函数依赖集，F所蕴含的所有FD的集合称为F的闭包，记作F +。 F + = { X→Y | 所有F |= X→Y } 例：设F={AB→C，C→B}。 求F+ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 设F={AB→C，C→B}。 F+ 为： F+ = {A→A, AB→A, AC→A, ABC→A, B→B, AB→B, BC→B，ABC→B，C→C，AC→C，BC→C,ABC→C，AB→AB，ABC→AB，AC→AC，ABC→AC，BC→BC, ABC→BC, ABC→ABC, AB→C, AB→AC, AB→BC, AB→ABC，C→B, C→BC，AC→B ，AC→AB} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 为了判定函数依赖集F是否蕴涵X→Y，引入的属性闭包： 定义(属性集X的闭包X + ) 设关系模式R(U, F)，U=A1A2…An ,X ? U, 所有用公理和F推出的函数依赖X→Ai中Ai的集合，称X对于函数依赖集F的闭包，记作：X+ X+ ={ Ai | F |= X→Ai 且Ai ? U} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 函数依赖集闭包及成员测试算法 算法1 计算属性集X的闭包X+的算法 输入：属性集X和函数依赖集F 输出：X的闭包X+ While RESULT≠VAR do Begin VAR:=RESULT; for every FD W→Z in F do if W?RESULT then RESULT:=RESULT∪Z end; return(RESULT) end. //其中的原理：由 W?RESULT ,由自反律：RESULT →W，再由传递律： RESULT →Z CLOSURE(X, F) Begin VAR:=φ; RESULT:=X; Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 例： F={A→D, AB→E, BI→E，CD→I，E→C} 求： AE+ 解： AE0 = AE AE1 = AED AE2 = AEDC (第一轮扫描后的结果） … AE+ = ACDEI 练习： 属性集U 为ABCD， F={A→B, B→C, D→B} 求： A + , (AD) +, (BD)+ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.