为了设计出性能较优的关系模式，必须进行规范化，规范化主要的理论依据是（）。

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