Armstrong公理系统中的增广律的含义是:设R是一个关系模式,X,Y是U中属性组,若X→Y为F所逻辑蕴含,且ZíU,则()为F所逻辑蕴含。
出自:03139《数据库技术》