Armstrong公理系統，求屬性集X關於F的閉包XF+，最小依賴集

Armstrong公理系統 設U 是R 的屬性集，F 是R 上成立的只涉及U 中屬性的函數依賴集，函數依賴的推理規則有以下三條： 自反律：若屬性集Y包含於屬性集X，屬性集X 包含於U，則X→Y 在R 上成立 增廣律：若X→Y 在R 上成立，且屬性集Z 包含於屬性集U，則XZ→YZ 在R上成立 傳遞律：若X→Y 和 Y→Z在R 上成立，則X →Z 在R 上成立 推導出Armstrong公理的推論:

>>阅读原文<<