单选题
下列哪一条不属于Armstrong公理系统中的基本推理规则
【正确答案】
D
【答案解析】[解析] 没F是属性组U上的一组函数依赖，于是有如下推理规则：①(自反律)。若Y
XU，则X→Y为F所逻辑蕴含。②(增广律)。若X→Y为F所逻辑蕴含，且Z
XU，则X→Y为F所逻辑蕴含。②(增广律)。若X→Y为F所逻辑蕴含，且Z