数据库求助（有关依赖关系）

这个简单

候选关键字:学号(每个学生只有惟一的学号)

最小依赖集:{学号→姓名,学号→出生日期,学号→班号,系名→宿舍区,班号→系名}

存在传递函数依赖:

学号→系名→宿舍区,∴有学号→宿舍区

班号→系名→宿舍区,∴有班号→宿舍区

学号→班号→系名,∴有学号→系名

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

做的有点匆忙。

可以再看看http://hi.baidu.com/ycg860102/blog/item/62dfb0e94aaf523ab90e2de0.html

---