设F是属性组 U上的一组函数依赖，下列哪一条不属于Armstrong 公

设F是属性组 U上的一组函数依赖，下列哪一条不属于Armstrong 公理系统中的基本推理规则

• A.若X→Y及X→Z为F所逻辑蕴含，则 X→YZ为F所逻辑蕴含
• B.若YXU，则X→Y
• C.若X→Y为F所逻辑蕴含，且 ZU，则XZ→YZ为F所逻辑蕴含
• D.若X→Y及Y +Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含