单项选择题

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