设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、加工逻辑说明必须描述加工的主体和加工的主体
统一建模语言(UML)是一种常用于数据库应用系统设计和开发的可视化建模语言。关于UML,下列说法错误的是
A、UML中的视图是由一个或多个图组成的，一个图是系统模型中的某个侧面的展示
B、用例图、顺序图和状态图都是UML的行为视图，用于描述系统的功能和活动
C、类图和对象图都是UML的结构视图，用于描述系统在某个时间的静态结构
D、在用例图中，与系统交互的人和其它实体都可以成为系统的角色
A、数据定义
B、可移植性保证
C、数据操纵
D、安全性保护和完整性控制