數據庫規範化理論---求候選鍵

預備知識：求閉包 1、概念型算法 F 的閉包: 在關係模式 R<U ， F> 中爲 F 所邏輯蘊含的函數依賴的全體叫作 F 的閉包，記爲 F + 。   屬性集 X 關於函數依賴集 F 的閉包: 設 F 爲屬性集 U 上的一組函數依賴， X Í U ， XF + ={ A|X → A 能由 F 根據 Armstrong 公理導出 } ， XF + 稱爲屬性集 X 關於函數依賴集 F 的閉包.  

>>阅读原文<<