为了解决复杂的问题，常采用分而治之的策略，将大而复杂的问题分解为许多容易解决的小问题来解决。在软件体系结构设计中体现为
A、抽象
B、模块化
C、信息隐蔽
D、层次化
A、若X→Y，且存在属性集Z，Z∩Y≠φ，X→Z,则称Y对X部分函数依赖
B、若X→Y，且存在属性集Z，Z∩Y≠φ，X→Z,则称Y对X部分函数依赖
C、若X→Y，且存在X的真子集X
D、若X-→Y,且对于X的任何真子集X
下列关于故障类型和故障恢复的叙述中，哪些是正确的?
A、事务的逻辑错误是造成事务故障的唯一原因
B、发生系统故障时，主存储器内容丢失，而外存储器仍完好无损
C、发生磁盘故障时，可以利用其它磁盘上的数据备份或磁带上的备份来进行恢复
D、日志文件能够很好地支持事务故障的恢复和系统故障的恢复
E、必须先把日志记录写到外存的日志文件中，再把相应的数据库修改写到外存的数据库中
若有关系模式R(A，B，C)，而没有数据依赖的相关信息。下列叙述中哪一条是正确的?
A、AB→→C一定成立
B、AB→C一定成立
C、R的规范化程度肯定达到3NF，但不一定达到BCNF
D、R的规范化程度肯定达到4NF
A、在不考虑软件实现的情况下描述软件
B、从用户使用角度描述软件
C、软件描述应涉及业务功能、业务信息和系统（或实体）行为
D、软件的实现与部罗方案
E、软件的开发环境