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

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

• A若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
• B若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
• C若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含
• D若X→Y为F所逻辑蕴含，且ZY，则X→Z为F所逻辑蕴含