[单选题]

关系演算的基础是( )

A.形式逻辑中的逻辑演算

B.形式逻辑中的关系演算

C.数理逻辑中的谓词演算

D.数理逻辑中的形式演算

参考答案与解析：