单项选择题

关系演算的基础是 (28)

A.形式逻辑中的逻辑演算
B.形式逻辑中的关系演算
C.数理逻辑中的谓词演算
D.数理逻辑中的形式演算