【单选题】

设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所逻辑蕴含