Relational Calculus
关系演算 包含 域 关系演算和 元组 关系演算，是 关系型数据库 的一部分，提供了 query language#声明式（Non-Procedural/Declarative） 查询数据库的方式。
关系演算 是 查询优化 的基础。
Todo
补充更多细节
参见
Wikipedia
The relational calculus consists of two calculi, the tuple relational calculus and the domain relational calculus, that are part of the relational model for databases and provide a declarative way to specify database queries. The raison d'être of the relational calculus is the formalization of query optimization, which is finding more efficient manners to execute the same query.[1]