软件质量模型中质量特性 "可维护性 "的子特性包括：易变更性、易测试性、易分析性、可维护性的依从性以及
A、稳定性
B、易替换性
C、易安装性
D、易恢复性
A、第一代语言
B、低级语言
C、元语言
D、高级语言
A、实体―关系图主要用于功能建模
B、状态迁移图主要用于行为建模
C、数据流图主要用于结构建模
D、用例图主要用于数据字典建模
设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所逻辑蕴含
若有关系模式 R(A，B，C)，而没有数据依赖的相关信息。下列叙述中哪一条是正确的?
A、AB→→C一定成立
B、AB→C一定成立
C、R的规范化程度肯定达到3NF，但不一定达到BCNF
D、R的规范化程度肯定达到4NF