设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

答案解析:

暂无解析

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

在面向对象系统中使用的消息中应包含的信息有

A、发送对象名
B、接收对象名
C、操作名
D、参数表

软件需求规格说明书不应包括

A、软件输入/输出的描述
B、主要功能和性能的描述
C、算法的描述
D、软件质量属性的描述

下列关于关系模型的基本术语的叙述中,哪些是正确的?

A、关系模式是对关系的描述
B、一般来说,每个关系至少有一个默认的超码
C、一个关系的候选码是这个关系的最小超码
D、关系的最大超码是该关系的所有属性的集合

下列关于关系代数表达式等价转换规则的叙述中,哪些是正确的?

A、集合的交运算满足交换律:E1∩E2=E2∩E1
B、集合的并运算满足交换律:E1∪E2=E2∪E
C、集合的差运算满足交换律:E1-E2=E2-E1
D、集合的除运算满足交换律:E1÷E2=E2÷E1
E、自然连接运算满足交换律:E1E2=E2E1

下列条目中哪些是常用的逻辑数据模型?

A、文件结构模型
B、层次模型
C、网状模型
D、关系模型
E、面向对象模型
热门试题 更多>
相关题库更多>
网络工程师
数据库工程师
软件测试工程师
嵌入式系统开发工程师
试卷库
试题库