设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所逻辑蕴含
查看答案
该试题由用户947****33提供
查看答案人数:43937
如遇到问题请联系客服
正确答案
该试题由用户947****33提供
查看答案人数:43938
如遇到问题请联系客服