设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、复制透明性
E、分片透明性
下列关于数据库三级模式结构的叙述中，哪一条是错误的?
A、数据库系统三级模式结构是数据库系统内部的体系结构
B、数据库系统的三级模式结构是指：外模式、模式、内模式
C、外模式/模式映象保证了数据与程序之间具有较高的物理独立性
D、一个数据库可以有多个模式
A、经济可行性
B、社会可行性
C、用户操作可行性
D、法律可行性
A、在不考虑软件实现的情况下描述软件
B、从用户使用角度描述软件
C、软件描述应涉及业务功能、业务信息和系统（或实体）行为
D、软件的实现与部罗方案
E、软件的开发环境