第6章 形式化关系查询语言 发表于 2019-10-28 更新于 2019-12-17 分类于 数据库系统概念 原书第6版 , 第一部分 关系数据库 , 第6章 形式化关系查询语言 , 6.0 本章概述 Waline: 本文字数: 539 阅读时长 ≈ 1 分钟 第6章 形式化关系查询语言 第6章 形式化关系查询语言从第2章~第5章,我们介绍了关系模型,并详细讲述了SQL。在本章中我们将介绍SQL所基于的形式化模型,同时它也是其他关系查询语言的基础。本章内容包括三种形式化语言。 我们首先介绍关系代数,它为广泛应用的SQL查询语言打下了基础。 然后我们学习元组关系演算和域关系演算,它们都是基于数学逻辑的声明式查询语言。