数据库管理系统 (DBMS) 使用称为域关系演算 (DRC) 的非过程查询语言。不同于关系代数，它提供了获取数据的工具和程序，DRC 仅关注收集哪些数据，而不规定检索技术。它提供了一种数据库查询的声明性方法。语法 { | P(x1, x2, ..., xn) }此处，表示结果域变量 P(x1, x2, ..., xn) 表示等效于谓词演算的条件。示例 1 此示例向我们展示了解决查询，即如何查找名称... 阅读更多