参考答案：自反律

解析： Armstrong公理系统包括3条推理规则。
设F是属性组U上的一组函数依赖，于是有以下推理规则：
①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。
②增反律。若X→Y为F所逻辑蕴含，且Z∈U，则XZ→YZ为 F所逻辑蕴含。
③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。