填空题 Armstrong公理系统中的增广律的含义是：设R＜U，F＞是一个关系模式，X、Y是U的中属性组，若X→Y为F所逻辑蕴涵，且