设计性能较优的关系模式称为规范化,规范化主要的理论依据是()
A、A.关系规范化理论
B、B.关系运算理论
C、C.关系代数理论
D、D.数理逻辑理论