【名词&注释】
系统配置(system configuration)、替代法(substitution method)、网络故障检测(network fault detection)、检查程序(check program)、系统运行日志、故障测试(fault test)、数据流测试(data flow testing)、不满足(does not satisfy)
[单选题]设E、E1、E2和E3是关系数表达式,下面列出的式子中,不满足(does not satisfy)等价变换规则的是
A. πA(σπB='010'(E. )=σB='010'(πA(E. )
B. (E1×E2)×E3=E1×(E2×E3)
C. σA=6(σB='010'(E. )=σA=6,B='010'(E.
D. σA=6(E1×E2)=(σA=6(E1))×(σA=6(E2))