关系演算的基础是（）。

关系演算的基础是（）。
A.形式逻辑中的逻辑演算
B.形式逻辑中的关系演算
C.数理逻辑中的谓词演算
D.数理逻辑中的形式演算
正确答案：数理逻辑中的谓词演算