SQL与关系数据库理论

前言第1章 设置场景 关系模式是非常容易被误解的 一些术语的注释 法则，而不是产品 最初模式的一个回顾 模型和实现 关系的特性 基础关系和产生的关系 关系和关系变量 值和变量 结论 练习第2章 类型与域 类型和关系

前言第1章 设置场景 关系模式是非常容易被误解的 一些术语的注释 法则，而不是产品 最初模式的一个回顾 模型和实现 关系的特性 基础关系和产生的关系 关系和关系变量 值和变量 结论 练习第2章 类型与域 类型和关系 等式比较 数据值的原子性 什么是类型 标量和非标量类型 SQL中的标量类型 SQL中的类型检查和强制类型转换 SQL中的一些整序 SQL中的行和表类型 结论 练习第3章 元组与关系、行和表 什么是元组 SQL中的行 什么是关系 关系和它们的关系体 关系是n维的 关系比较 TABLE—DUM和TABLE—DEE SQL中的表 SQL中列的命名 结论 练习第4章 无重复与无空值 重复有什么问题 复行：进一步讨论 在SQL中避免复行 空值有什么错 在SQL中避免空值 对外连接的评论 结论 练习第5章 基本关系变量与基本表 数据定义 更新是集合级别的 关系赋值 更多关于候选键的内容 关于外键更多的讨论 关系变量和断言 关系和类型 练习第6章 SQL与关系代数Ⅰ：原始的操作符 一些预备知识 有关闭包的更多讨论 约束 投影 连接 并、交和差 哪些操作符是原始的 每次都形成表达式的一小步 关系表达式的意思是什么 求一个表表达式的值 表达式转换 属性名字上的依赖 练习第7章 SQL与关系代数Ⅱ：附加的操作符 半连接和半差 扩展 映像关系 除 聚集操作符 映像关系再讨论 概要 概要再论 分组和不分组 what if查询 ORDER BY如何 练习第8章 SQL与约束 类型约束 SQL中的类型约束 数据库约束 SQL中数据库约束 事务 为什么数据库约束的检测必须是实时的 难道某些检测不是不得不被推迟吗 约束和谓词 各种各样的问题 练习第9章 SQL与视图 视图是关系变量 视图和谓词 获取操作 视图和约束 更新操作 视图是为了什么 视图和快照 练习第10章 SQL与逻辑 简单和复合的命题 简单和复合的谓词 定量 关系计算 更多的关于量化 一些等价形式． 结论 练习第11章 使用逻辑来形式化SQL表达式 一些转换规则 例子1：逻辑隐含 例子2：普遍的限定 例子3：隐含和一般的限制 例子4：相关的子查询 例子5：命名子查询 例子6：更多的关于命名子表达式 例子7：处理不确定性 例子8：使用COUNT 例子9：连接查询 例子10：唯一限制 例子11：ALL或者ANY比较 例子12：GROUP BY和HAVING 练习第12章 SQL主体杂项 SELECT 显表 名字限定 范围变量 子查询 “可能的非确定”表达式 空集 SQL表表达式的BNF范式语法 练习附录A 关系模式附录B 数据库设计理论附录C 练习答案附录D 进一步阅读

在关系数据库系统中，SQL已经成为了事实标准。SQL语言使用非常广泛，现在流行的所有数据库系统几乎都支持SQL。但是，SQL难以使用，它非常复杂，并且很令人费解。本书主要介绍了关系数据库的原理与SQL的内在关系，阐述了该如何把关系理论直接应用到SQL的应用中，并通过大量的例子以及对其背后理论解释，帮助读者编写出高效而精确的SQL代码。全书由12章和4个附录组成，每章后面都给出了一定的练习题，帮助读者巩固所学的内容，并在附录C中给出了这些练习题的答案，因此极大地方便了读者的学习和使用。