A不能做候选码的原因是A→C,D,E均不成立
AC不能做候选码的原因是 虽然AC→A,B,C,D都成立,但没有A→E
AE不能做候选码的原因是AE→C,D都不成立
1:.将F中的所有依赖右边化为单一元素AB->C C->A BC->D ACD->B BE->C CE->F CE->A CF->B CF->D
D->E D->F
2:去掉F中所有冗余依赖关系.做法为从F中去掉某关系,如去掉(X->Y),然后在F中求X+,如果Y在X+中,则表明x->是多余的.需要去掉.
去掉AB->C 得到AB+={} 所以AB->C 不是冗余的函数依赖
再依次去掉 1中其余的函数依赖,计算去掉依赖左边属性的必包,发现
ACD->B,CE->A,CF->D是冗余的函数依赖,
AB->C C->A BC->D BE->C CE->F CF->B D->E D->F
3:去掉F中的所有依赖左边的冗余属性.作法是属性中去掉其中的一个,看看是否依然可以推导
没有
所以AB->C C->A BC->D BE->C CE->F CF->B D->E D->F
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)