设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所逻辑蕴含
查看答案
正确答案:

A

答案解析:

暂无解析

上一题
你可能感兴趣的试题

明清北京的工程建筑以太和殿为中心,是世界上规模、保存完整的皇家宫殿建筑群。

京剧道具和简单的布景称为“砌末”,是根据剧情的需要运用假设性进行的艺术创造,是对客观世界的舞台化表现。

蒙古族的白色哈达是献给珍贵客人的,蓝色哈达是献给一般客人的。

日本闻名于世的名菜是叫“沙西米”的生鱼片。

西方园林追求淳朴自然美,处处显示人与自然的和谐与共融,称自然山水式园林。

热门试题 更多>
相关题库更多>
网络工程师
数据库工程师
软件测试工程师
嵌入式系统开发工程师
试卷库
试题库