考量一个关联纲目(Relation Schema) R=(A,B,C,D,E,F,G) ，并有下列的函数相依关系
A→B BC→DE AEF→C AC→DE
(一)请计算并说明{AB}的泛封闭集合
我的想法：
我会想成是题目要我化简功能相依，以下按三步骤化简
1.化简右边多余的FD:
A→B
BC→D
BC→E
AEF→C
AC→D
AC→E
2.化简左边多余的FD:
A→B
BC→D => 因 A→B，则 BC→D 可得 AC→D
BC→E => 因 A→B，则 BC→E 可得 AC→E
AEF→C //这边不知怎么动
AC→D =>重复
AC→E =>重复
3.检查有无多的FD
依照2.的结果可得:
A→B
BC→D
BC→E
AEF→C
我这边解出来的Clousor为{AEF}={A,B,C,D,E,F,G}，可是题目要得是{AB}，我是不是
上面有地方算错了或有定义不清楚?能否请版上前辈指点...