奥鹏[北京交通大学]《数据库及其应用》在线作业一-0003满分参考8.pdfVIP

北交《数据库及其应用》在线作业一-0003 位于用户和操作系统之间的一层数据管理软件是（） A:DBS B:DB C:DBMS D:MIS 参考选项：C 关系演算的基础是( ) A:形式逻辑中的逻辑演算 B:形式逻辑中的关系演算 C:数理逻辑中的谓词演算 D:数理逻辑中的形式演算 参考选项：C 设有关系 R 和 S，与 R-S 等价的元组关系演算表达式是 ( ) A:{t|R(t)∨┐s(t)} B:{t|R(t)∧┐S(t)} C:{t|(u)R(t∨┐S(u)) D:{t| (u)R(t)∧┐