• 第6章 形式化关系查询语言

第6章 形式化关系查询语言

从第2章~第5章,我们介绍了关系模型,并详细讲述了SQL。在本章中我们将介绍SQL所基于的形式化模型,同时它也是其他关系查询语言的基础。
本章内容包括三种形式化语言。

• 我们首先介绍关系代数,它为广泛应用的SQL查询语言打下了基础。
• 然后我们学习元组关系演算和域关系演算,它们都是基于数学逻辑的声明式查询语言。