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

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

>>阅读原文<<