设计性能较优的关系模式称为规范化，规范化主要的理论依据是（）。

A.关系规范化理论

B.关系运算理论

C.关系代数理论

D.数理逻辑

正确答案：关系规范化理论