填空题

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

【参考答案】

XZ→YZ