填空题
Armstrong公理系统中的增广律的含义是：设R＜U，F＞，是一个关系模式，X，Y是U中属性组，若x→Y为F所逻辑蕴含，且Z
U，则（）为F所逻辑蕴含。
【参考答案】
XZ→YZ
XZ→YZ