Simone21 世纪以来，（基础）数学在计算机科学中有哪些应用？
的有关信息介绍如下：
其中使用了集合论和数学逻辑：关系数据库系统的核心是形式主义，也就是关系代数，将一个关系（数据表）视为一组n元组（行）。代数上的运算可以直接来自集合论（并集，交集，向量积），也可以在集合论中定义（行或列的子集，两个关系间称为连接）。
使用集合论使我们能够证明算子的性质，然后我们可以对它们进行重新排序，以获得更有效的计划来评估代数上的表达式。
这些属性是关系查询优化器的基础。
数学逻辑作为数据库查询语言（例如SQL和Datalog）的基础。从概念上讲，查询其实就是通过模型（数据库）进行评估的逻辑公式。
这样的优势在于，如果要编写查询，只需要专注于想要查询什么答案，而不需要过多的思考怎样才能获得答案。“怎样获得答案”被留给了查询处理器，处理器将查询转换成关系代数，然后关系代数被优化和执行。
