设U为属性集总体，F是U上的一组函数依赖，对关系模式R，Armstrong公理系统包含以下推理规则：A1. 自反律(Reflexivity rule)：若Y包含于X，X包含于U，则X → Y为F所蕴含。A2. 增广律(Augmentation rule)：若X → Y为F所蕴含，且Z包含于U，则XZ → YZ为F所蕴含。A3. 传递律(Transitivity rule)：若X → Y及Y → Z为F所蕴含，则X → Z为F所蕴含。