参考答案：传递律

解析： 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所逻辑蕴含。