Armstrong公理系统

关系模式R<U,F>来说有以下的推理规则：

（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

 

最后欢迎大家访问我的个人网站：1024s

​​​​​​​