设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

答案解析:

暂无解析

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

对于下列程序:

if(a>5orb>0)x=100;

elseif(c<0andd==1)x=200;

执行分支覆盖测试,为使每个分支都执行一次,需要的测试用例数最少为

A、2
B、3
C、4
D、5

在分布式数据库中,查询处理和优化比集中式数据库要复杂得多,其中的查询优化需要考虑的主要因素包括I/O代价、CPU代价和通信代价。一般而言,分布式数据库查询优化的首要目标是

A、使查询执行时I/O代价最省
B、使查询执行时CPU代价最省
C、使查询执行时通信代价最省
D、使查询执行时I/O代价和CPU代价之和最省

在UML模型中,用于表达一系列的对象、对象之间的联系以及对象间发送和接收消息的图是

A、协作图
B、状态图
C、顺序图
D、部署图

以下有关项目进度管理的说法中错误的是

A、当参加同一软件项目的人数不止一人的时候,开发工作就会出现并行情形
B、项目的活动必须有一个清晰的起始点和清晰的结束点
C、项目成本估算的准确程度可能比进度安排的准确程度更重
D、进度管理的各个过程与其他项目管理领域的过程相互作用

软件工程方法的是

A、形式化方法
B、面向过程方法
C、面向对象方法
D、面向系统对象方法
E、面向过程对象方法
热门试题 更多>
相关题库更多>
网络工程师
数据库工程师
软件测试工程师
嵌入式系统开发工程师
试卷库
试题库