设F是属性组U上的一组函数依赖，下列哪一条不属于Armstrong公理系统中的基本推理规则？
- A.若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含
- B.若YXU，则X→Y为F所逻辑蕴含
- C.若X→Y为F所逻辑蕴含，且ZU，则XZ→YZ为F所逻辑蕴含
- D.若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含
热度🔥243
参考答案：A
解析：打开微信小程序查看本题解析
