填空题 增广律是Armstrong公理系统的推理规则之一，它的含义是：设F是属性组U上的一组函数依赖，若X→Y为F所逻辑蕴含，且ZU，则【17 1】为F所逻辑蕴含。