候选码求解概要.ppt

6.1.2 函数依赖 1.函数依赖定义 定义1：设有关系模式R（A1,A2,…,An）或简记为R(U),X,Y是U的子集，r是R的任一具体关系。如果对于r的任意两个元组t1,t2,由t1[X]=t2[X]导致(或能确定) 　t1[Y]=t2[Y],则称X函数决定Y，或Y函数依赖于X,记作X→Y。 定义2：设X→Y是一个函数依赖，若Y?X,则称X→Y是一个平凡函数依赖。 定义3：设X→Y是一个函数依赖，并且对于任何X?X, X →Y都不成立，则称X→Y是一个完全函数依赖。即Y函数依赖于整个X，记作X Y。 定义4：设X→Y是一个函数依赖，但不是完全函数依赖，则称X→Y是一个部分函数依赖，或称Y函数依赖于X的某个真子集，记作X Y。 定义5：设R(U)是一个关系模式，X,Y,Z?U,如果X→Y,Y→Z,且Y-/-X,Z-Y≠?,Y-X≠?成立，则称Z传递函数依赖于X，记作X Z。 定义6：设F是关系模式R的一个函数依赖集，X,Y是R的属性子集，如果从F中的函数依赖能够推出X→Y，则称F逻辑蕴涵X→Y。 定义7：由被F逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包，记为F+。 2.函数依赖公理 函数依赖的推导公理即为Armstrong公理： 设有关系R(A1,A2,…,An)和属性集U=(A1,A2,…,An),X,Y,Z,W均是U的子集，F是R上只涉及到U中属性的函数依赖集，则： A1(自反律)：如果Y?X?U,则X→Y在R上成立。 A2(增广律)：如果X→Y为F所蕴涵，Z?U, 则XZ →YZ在R上成立。 A3(传递律)：如果X→Y和Y→Z在R上成立，则 　　　　　　　X→Z在R上也成立。 由Armstrong公理可以得到以下推论： (合并律)：如果X→Y和X→Z成立，则X→YZ 成立。 (伪传递律)：如果X→Y和WY→Z成立，则 WX→Z成立。 (分解律)：如果X→Y和Z?Y成立，则 　　　　　　　X→Z成立。 3.函数依赖与属性关系 属性之间有3种关系，但并不是每一种关系中都存在函数依赖。设有属性集X、Y以及关系模式R： 如果X和Y之间是“1:1”关系（如学校和校长），则存在函数依赖：X→Y和Y→X 如果X和Y之间是“m:1”关系（如学号和姓名），则存在函数依赖：X→Y 如果X和Y之间是“m:n”关系（如学生和课程），则X和Y之间不存在函数依赖。 4.闭包的计算： 定义：设关系模式R(U),F为其函数依赖集，则称所有用Armstrong公理从F推出的函数依赖X→Ai中，Ai的属性集合为X的属性闭包，记为X+。 定理：设关系模式R(U),F为其函数依赖集，X,Y?U,则从F推出X→Y的充要条件是 Y? X+。 算法：求属性集X关于函数依赖F的属性闭包X+。 输入：关系模式R的全部属性集U，在U上的函数依赖　　F，U的子集X。 输出：X关于F的属性闭包X+。 方法：计算X(i)(i=0,1,…)。 (1)X(0)=X; (2)X(i+1)=X(i)A;其中A是这样的属性，在F中寻找尚未用过的左边是X(i)的子集的函数依赖：Yj→Zj(j=0,1,…,k) ， Yj?X(i)。即Zj在寻找X(i)中未出现过的属性集合A，若无这样的A则转(4); (3)判断是否有X(i+1)=X(i)A，若有则转(4),否则转(2); (4)输出X(i),即为X+。 对于(3)的计算停止条件，以下4种方法是等价的： X(i+1)=X(i); 当发现X(i)包含了全部属性时； 在F中函数依赖的右边属性中再也找不到X(i)中未出现过的属性； 在F中未用过的函数依赖的左边属性已没有X(i)的子集。 例：设有关系模式R(U,F),其中U={A,B,C,D,E,I},F={A→D,AB→E,BI→E,CD→I,E→C},计算(AE)+。 函数依赖的闭包计算F+ 已知关系模式R(U,F),U=(A,B,C),F={A→C,B→C},求F+。 解：由推理规则，可求出 F+有35个函数依赖，具体如下： Φ→ Φ B → Φ AB → Φ BC → Φ ABC → Φ A → Φ B →B AB → A BC →B ABC →A A → A B →C AB → B BC →C ABC →B A → C B →BC AB → C BC →BC ABC →C A →AC C → Φ AB → AB CA → Φ ABC →AB