規範化理論：如何求屬性集X關於F的閉包？

什麼是屬性集X關於F的閉包？ 在關係模式R<U, F>中爲F所邏輯蘊涵的函數依賴的全體叫作F的閉包（closure），記做。算法 設F爲屬性集U上的一組函數依賴，XU，={A|X→A能由F根據Armstrong千米導出}，稱爲屬性集X關於函數依賴集F的閉包。數據庫   另外，閉包 設F爲屬性集U上的一組函數依賴，X，YU，X→Y能由F根據Armstrong公理導出的充分必要條件是Y。函數 所以，判

>>阅读原文<<