设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、数据
B、活动
C、规程
D、算法
A、SpecifyingQueryLanguage
B、ScalableQueryLanguage
C、StructuredQueryLanguage
D、StandardQueryLanguage
A、数据流图设计
B、实体-联系图设计
C、索引设计
D、关系模式设计
A、ODMG表示对象数据管理组织
B、在ODMG中，语言绑定涉及三种编程语言：C++、Java和Smalltalk
C、对象定义语言不能独立于特定的编程语言而存在
D、超类继承子类的全部属性