当前位置:百科知识 > 等级考试

问题描述:

[单选] 设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所逻辑蕴含
参考答案:查看
答案解析:
☆收藏

随机题目