单项选择题

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

A.关系规范化理论
B.关系运算理论
C.代数运算理论
D.数理逻辑理论