Armstrong公理的定义是从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则，这些规则常被称作“Armstrong 公理”。设关系式R(U，F)，U是关系模式R的属性集，F是U上一组函数依赖，则有以下三条推理规则：

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

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

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

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

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

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

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