規範化理論：如何計算最小依賴集？

什麼是最小函數依賴集？ 若是函數依賴集F知足一下條件，則稱F爲一個最小函數依賴集。算法 （1）F中任意一函數的右部僅含有一個屬性。數據庫 （2）F中不存在這樣的函數依賴X→A，使得F與F-{X-A}等價，即F中的函數依賴均不能由F中其餘函數依賴導出。閉包 （3）F中不存在這樣的函數依賴X→A，X有真子集Z使得F-{X→A}{Z→A}與F等價，即F中各函數依賴的左部均爲最小屬性集（也就是說左部不存在

>>阅读原文<<