例题1:
设有函数依赖集F={AB->CE,A->C,GP->B,EP->A,CDE->P,HB->P,D->HG,ABC->PG},
求属性D关于F的闭包D^+?
解:
设x^(0)=D
x^(1) = DHG, 因为x^(0)/=x^(1) #这里是因为根基依赖集F中D能退出HG,D不能在推出其他的码了 开始下一步,为x^(0)/=x^(1) 表示x(0)不等于x(1)
x^(2)= DHG #这里是因为依赖集F中由DHG不能在推出其他的码了,
所以闭包D^+ 就是DHG
例题2
已知元素U={A,B,C,D,E}
属性依赖集F={AB->C,B->D,C->E,EC->B,AC->B}求(AB)^+
解;
设x^(0)= AB;
x^(1)=ABCD, 因为x(0)不能等于x(1)继续推, #这里是怎么推出ABCD的呢?因为AB->C,所以C是,因为B->D,所以D是。
x^(2)=ABCDE #因为C->E所以E也是
因为x^(2)=U 所以(AB)^+={ABCDE} # 因为属性集中已经没有其他的码了
例题3:
已知关系模式R(A,B,C,E)和函数依赖集F={AB->C,B->D,C->E,EC->B,AC->B,D->BE},试问AC->BE能否从F导出?请分别用两种方法进行计算?
(1)运用推理规则推导;
解:
因为①AC->B,②B->D
由①②得Ac->D,
又因为D->BE
所以AC->BE;
兄弟们不懂得话 可以去下面链接看视频
https://www.bilibili.com/video/BV1P5411e7rU?p=1