數據依賴的Armstrong公理系統

關係模式R <U，F >來說有以下的推理規則： 1.自反律（Reflexivity）：若Y Í X Í U，則X →Y爲F所蘊含（平凡函數依賴） 2.增廣律（Augmentation）：若X→Y爲F所蘊含，且Z Í U，則XZ→YZ爲F所蘊含 3.傳遞律（Transitivity）：若X→Y及Y→Z爲F所蘊含，則X→Z爲F所蘊含（傳遞函數依賴） 4.合併規則：由X→Y，X→Z，有X→YZ  (2,

>>阅读原文<<