填空题

Armstrong公理系统中的增广律的含义是：设R是一个关系模式，X，Y是U中属性组，若X→Y为F所逻辑蕴含，且ZU，则（）为F所逻辑蕴含。

点击查看答案&解析