为了设计出性能较优的关系模式,必须进行规范化,规范化主要的理论依据是( ) 。   
A. 关系规范化理论
B. 关系代数理论   
C. 数理逻辑
D. 关系运算理论
出自:软件工程