为了设计出性能较优的关系模式，必须进行规范化，规范化主要的理论依据是（ ） 。 　　
A. 关系规范化理论
B. 关系代数理论 　　
C. 数理逻辑
D. 关系运算理论