102高考二級 資料庫功能相依化簡 - 高考

考量一個關聯綱目(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}，我是不是

上面有地方算錯了或有定義不清楚?能否請版上前輩指點...





--