試證實：若是X→Y，W→Z ，則 XW→YZ。

由增廣率 可得WY → ZY 由僞傳遞率，由於X→Y, WY → ZY 因此XW→ ZY （內容爲數據依賴） 附Armstrong 公理的推理規則三條： 1：反射率：web 若屬性集Y 包含於屬性集X，屬性集X 包含於U，則X→Y 在R 上成立。(此 處X→Y是平凡函數依賴) 2：增廣律：svg 若X→Y 在R 上成立，且屬性集Z 包含於屬性集U，則XZ→YZ 在R 上成立 3：傳遞律：函數 若X

>>阅读原文<<