數據庫閉包、最小函數依賴集、候選碼求解，判斷模式分解是否爲無損鏈接，3NF，BCNF

1.閉包就是由一個屬性直接或間接推導出的全部屬性的集合。算法    例（1）：   設有關係模式R(U，F)，其中U={A，B，C，D，E，I}，F={A→D，AB→E，BI→E，CD→I，E→C}，計算(AE)+數據庫           解:  (1) 令X={AE}，X(0)=AE閉包                 (2)在F中尋找還沒有使用過的左邊是AE的子集的函數依賴，結果是: A→D

>>阅读原文<<