Armstrong公理

從已知的一些函數依賴，可以推導出另外一些函數依賴，這就需要一系列推理規則，這些規則常被稱作「Armstrong 公理」。   設U 是關係模式R 的屬性集，F 是R 上成立的只涉及U 中屬性的函數依賴集。函數依賴的推理規則有以下三條： 自反律：若屬性集Y 包含於屬性集X，屬性集X 包含於U，則X→Y 在R 上成立。(此處X→Y是平凡函數依賴) 增廣律：若X→Y 在R 上成立，且屬性集Z 包含於屬性

>>阅读原文<<