Armstrong公理

Armstrong公理系统设关系模式R<U,F>，其中U为属性集，F是U上的一组函数依赖，那么有如下推理规则：

① A1自反律：若Y⊆X⊆U，则X→Y为F所蕴含；

② A2增广律：若X→Y为F所蕴含，且Z⊆U，则XZ→YZ为F所蕴含；

③ A3传递律：若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含。

根据上面三条推理规则，又可推出下面三条推理规则：

④ 合并规则：若X→Y，X→Z，则X→YZ为F所蕴含；

⑤ 伪传递规则：若X→Y，WY→Z，则XW→Z为F所蕴含；

⑥ 分解规则：若X→Y，Z⊆Y，则X→Z为F所蕴含。

引理：X→A1A2…Ak成立的充分必要条件是X→Ai成立(i=1,2,...,k)。