设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、供应过程
B、获取过程
C、开发过程
D、管理过程
数据库应用系统功能设计包括哪两个方面?每个方面主要由哪些设计步骤组成?
A、参照完整性约束是一种关系模型完整性约束
B、在关系模型中实体及实体间的联系都是用关系来描述的于是就自然存在着关系与关
C、两个或两个以上的关系间可以存在参照关系
D、同一个关系的属性间不可能存在参照关系
E、参照关系中每个元组在外码属性上的取值只能等于所对应的被参照关系中某个元组的主码值