单项选择题

规范化主要理论依据是()理论。

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