问题
填空题
增广律是Armp公理系统的推理规则之一，它的含义是：设F是属性组U上的一组函数依赖，若X→Y为F所逻辑蕴含，且ZU，则（）为F所逻辑蕴含。
答案
参考答案：XZ→YZ
搜题请搜索小程序“爱下问搜题”
增广律是Armp公理系统的推理规则之一，它的含义是：设F是属性组U上的一组函数依赖，若X→Y为F所逻辑蕴含，且ZU，则（）为F所逻辑蕴含。
参考答案：XZ→YZ