填空题

增广律是Armstrong公理系统的推理规则之一,它的含义是:设F是属性组U上的一组函数依赖,若X→Y为F所逻辑蕴含,且ZU,则______叠为F所逻辑蕴含。

【参考答案】

XZ→YZ