Armstrong公理系统

---

（1）自反律：若Y包含于X，X包含于U，则X->Y为F所蕴含。
（2）增广律：若X->Y为F所蕴含，且Z包含于U，则XZ->YZ为F所蕴含。
（3）传递律：若X->Y及Y->Z为F所蕴含，则X->Z为F所蕴含。

• 根据上面三条推理规则可以得到下面三条推理规则：

（1）合并规则：由X->Y, X->Z，有X->YZ
（2）伪传递规则:由X->Y，WY->Z，有XW->Z
（3）分解规则：由X->Y及Z包含于U，有X->Z

---

有效性：F->F+

完备性：F+->F