填空题

Armstrong公理系统中的增广律的含义是:设R<u,F>是一个关系模式,X,Y是U中属性组,若X→Y为F所逻辑蕴含,且Z
U,则______为F所逻辑蕴含。

【参考答案】

XZ→YZ