數據庫必考題目~最小依賴集（最小覆蓋、極小函數依賴集）

一、定義：
如果函數依賴集F滿足下列3個條件，則稱F爲最小依賴集：
（1）F中任一函數依賴的右部僅含有一個屬性
（2）F中不存在這樣的函數依賴X→A，使得F與F-{X→A}等價
（3）F中不存在這樣的函數依賴X→A，X有真子集Z使得F-{X→A}∪{Z→A}與F等價
二、步驟：
（1）右部最小化：右切，使每個函數依賴的右部僅有一個屬性
（2）規則最小化：除本求包（對每個函數依賴的左部做除本求包，求包的結果如果不包含本函數依賴的右部，本函數依賴保留；求包的結果如果包含了本函數依賴的右部，刪除本函數依賴）
（3）左部最小化
三、例題：已知關係模式R（U，F），U={A，B，C，D，E，F，G}，F={BCD→A，BC→E，A→F，F→G，C→D，A→G}，求F的最小函數依賴集。

四、例題：設F={C→A，CG→D，CG→B，CE→A，ACD→B}，求最小函數依賴集