下列关于关系模式的规范化问题的叙述中，哪些是正确的?
A、关系模式需要满足一定的条件，不同程度的条件称作不同的范式
B、第一范式需要满足的条件是元组的每个分量必须是不可分的数据项
C、第二范式、第三范式和Boyce-Codd范式在函数依赖的范围内讨论
D、在函数依赖的范畴内，Boyce-Codd范式达到了最高的规范化程度
E、第四范式的讨论范围不仅涉及函数依赖，还涉及多值依赖
下列关于故障类型和故障恢复的叙述中，哪些是正确的?
A、事务的逻辑错误是造成事务故障的唯一原因
B、发生系统故障时，主存储器内容丢失，而外存储器仍完好无损
C、发生磁盘故障时，可以利用其它磁盘上的数据备份或磁带上的备份来进行恢复
D、日志文件能够很好地支持事务故障的恢复和系统故障的恢复
E、必须先把日志记录写到外存的日志文件中，再把相应的数据库修改写到外存的数据库中
A、软件测试是一个过程，它的目的是评价系统或构件的某些方面，看它是否满足规定的需求
B、软件测试的目的是评估项目的特性，是看期望的结果和实际的结果之间有无差别
C、软件测试应在软件生存周期需求、分析与设计、程序编码等各个阶段防止问题的发生
D、软件测试的任务是发现软件开发过程中的问题并及时加以改正
A、数据冗余
B、数据被非法读取
C、数据被非法修改
D、发生死锁
存储过程是存储在数据库中的代码，具有很多有点。下列陈述中不属于存储过程有点的是
A、可通过预编译机制提高数据操作的性能
B、可方便的按用户视图表达数据
C、可减少客户端和服务器端的网络流量
D、可实现一定的安全控制