闭包及候选键求解方法

1 函数依赖集的闭包

定义 在关系模式 R(U,F)中 U是R的属性全集 F是R上的一组函数依赖。

设X Y是U的子集,对于关系模式R的任一关系r,如果r满足F,则r满足X--->Y,那么称F逻辑蕴含X---->Y,或称函数依赖X--->Y可由F导出。

所有被F逻辑蕴含的函数依赖的全集称为F的闭包,记作 F+。

2 对关系模式R(U,F),应用Armstrong公理系统系统计算F+的过程

步骤1 初始 F+=F。

步骤2 对F+中的每个函数依赖f,在f上应用自反性和增光性,将结果加入F+中;对F+中的一对函数依赖f1和f2,如果f1和f2可以使用传递律结合起来,则将结果加入F+中。

步骤3 重复步骤2,直到F+不在增大为止。

例:已知关系模式R(A,B,C,D,E,G)及其函数依赖集F:

F={AB--->C,C--->A,BC--->D,ACD--->B,D--->EG,BE--->C,CG--->BD,CE--->AG}

判断BD--->AC是否属于F+。

解:D--->EG 推出 D--->E,BD--->BE合并规则 增广律    (1)

BE--->C,C--->A 推出 BE--->A,BE--->AC;传递律 合并规则    (2)

由(1)(2)推出BD--->AC(传递律) 因此 BD--->AC被F所蕴含,即BD--->AC属于F+。

3 属性集闭包

定义 设有关系模式 R(U,F)中 U是R的属性全集 F是R上的一组函数依赖,X是U的一个子集(X\subseteqU)。

用函数依赖推理规则可从F推出的函数依赖X--->A中所有A的集合,称为属性集X关于F的闭包,记为X+(或X+f)。

即 X+={X| X--->A能够由F根据Armstrong公理导出}

  对关系模式R(U,F),求属性集X相对于函数依赖集F的闭包X+的算法如下 

步骤1 初始 X+=X。

步骤2 如果F中有某个函数依赖Y--->Z满足Y\subseteqX+。则X+=X+\cupZ。

步骤3 重复步骤2,直到X+不在增大为止。

例  设有关系模式R(U,F),其中属性集U={X,Y,Z,W},函数依赖集F=X→Y,Y--->Z,W一Y},计算X+ (XW)+。
解: (1)计算X。
步骤1:初始:X+=X。
步骤2:
(1)对X+中的X,因为有X→Y,所以X+=x+UY=XY。
(2)对X+中的Y,因为有Y→Z,所以X+=X+UZ=XYZ.
在函数依赖集F中,Z不出现在任何函数依赖的左部,因此X+将不会再扩大,所以最终X+=XYZ。
(2)计算(XW)+。
步骤1:初始:(XW)+=XW。
步骤2:
(1)对(XW)+中的X,因为有X→Y,所以(XW) +=XW+UY=XWY。
(2)对(XW)+中的Y,因为有Y→Z,所以(XW) +=XW+ UZ=XWYZ。
(3)对(XW)+中的W,有W→Y,但Y已在(XW)+中,因此(XW)+保持不变

(4)对(XW)+中的Z,由于Z不出现在任何函数依赖的左部,因此(XW)+保持不变。

最终(XW)+=XWYZ。
5 候选键的求解方法

对于给定的关系模式R(A,A,…,A,)和函数依赖集F,现将尽的属性分为如下四类: 
(1)L类:仅出现在函数依赖左部的属性。
(2)R类:仅出现在函数依赖右部的属性。
(3)N类:在函数依赖的左部和右部均不出现的属性
(4)LR类:在函数依赖的左部和右部均出现的属性。
对R中的属性X,可有以下结论:
(1)若X是L类属性,则X一定包含在关系模式R的任何一个候选键中;若X+包含了R的全部属性,则X为关系模式R的唯一候选键。
 (2)若X是R类属性,则X不包含在关系模式R的任何一个候选键中。
(3)若X是N类属性,则X一定包含在关系模式R的任何一个候选键中。

(4)若X是LR类属性,则x可能包含在关系模式R的某个候选键中。

1 L,N (N一定在候选键中)

2 (L,N)+=U   唯一候选键

3  (L,UL,R)+=U

4 候选键
 

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值