第3章 SQL入门

本课程对应Abraham Silberschatz、Henry F. Korth、S. 在“第3章 SQL入门”的证据链中，Sudarshan著，杨冬青、李红燕、张金波等译《数据库系统概念（原书第7版）》，机械工业出版社2021年6月出版，820页，ISBN 9787111681816。原版第7版由McGraw-Hill于2019年发布。课程按原书11部分、32章与附录A逐项重构，不复制原文。

中文版第7版纸书正文收录第1-23章；第24-26章由中文版提供中文在线内容；第27-32章是原版官网英文在线章节；附录A在纸书中。本页媒介为“纸书正文”。 全课程另设学习地图与总复习，共35页；正式知识分母仍是32章与附录A。本页属于“第一部分 关系语言”，依据正式目录覆盖10个节点。

“第3章 SQL入门”没有使用未获授权的中文纸书正文；以 作者官网第 7 版完整目录 界定 32 章与附录 A，以 作者公开在线章节、大学模式实验 和 McGraw-Hill 第 7 版变更说明 核对可公开内容。中文解释、SQL、图示、实验与练习均为独立教学重写；实现行为再以 PostgreSQL 官方文档 等一手规范复核。

从一次可观察状态变化开始

先预测：给定一份固定的大学数据库、一个操作和一个故障时刻，哪些逻辑行、物理页、锁、版本或日志记录应该变化，哪些绝不能变化？不要先运行再解释。把预测写成状态表，然后用独立查询、执行统计、页或日志轨迹核对。若预测与观察不一致，先检查模型和实验边界，而不是立即改配置。

本页主问题是“把关系问题翻译为可验证的DDL、查询、聚集、子查询与修改语句”。交付不以读完为准，而以另一位学习者能从大学数据库建表脚本、十类查询基线和写入前后差异报告复现同一结论为准。最小正确性合同是：SQL结果合同明确列、行、重复、NULL与顺序，修改语句的影响范围可预览。

核心词汇与系统边界

SQL、数据定义语言、包语义、三值逻辑、聚集 构成本页词汇表。每个词都要回答四个问题：它约束什么状态，由哪个模块执行，在哪个故障或并发边界会失效，用什么证据发现失效。只给一句名词解释不构成掌握。

第七版机制逐项深读

3.1 SQL查询语言概述

在“第3章 SQL入门”中，“3.1 SQL查询语言概述”先由 FROM 形成输入、WHERE 过滤、分组聚集，再由 SELECT 生成结果；书写顺序不是逻辑求值顺序。

3.2 SQL数据定义

在“第3章 SQL入门”中，“3.2 SQL数据定义”把表、类型、约束和命名空间写入目录；可重放实验必须从空库建模，并证明重复执行、迁移失败和回滚边界。

3.3 SQL查询的基本结构

在“第3章 SQL入门”中，“3.3 SQL查询的基本结构”先由 FROM 形成输入、WHERE 过滤、分组聚集，再由 SELECT 生成结果；书写顺序不是逻辑求值顺序。

3.4 附加基本运算

在“第3章 SQL入门”中，验证“3.4 附加基本运算”固定大学模式，只改变一个谓词或子查询相关性，比较手算行集、实际行数和计划估计。

3.5 集合运算

在“第3章 SQL入门”中，“3.5 集合运算”应同时准备成功查询与反例查询；返回若正确但依赖偶然顺序，仍不满足结果合同。

3.6 空值

在“第3章 SQL入门”中，“3.6 空值”引入 unknown，使比较、布尔组合、聚集和约束不再服从普通二值直觉；必须用 IS NULL 与显式反例验证。

3.7 聚集函数

在“第3章 SQL入门”中，“3.7 聚集函数”先定义分组粒度再计算汇总；空输入、NULL、重复事实和维度连接会改变计数，验收要用明细对账汇总。

3.8 嵌套子查询

在“第3章 SQL入门”中，“3.8 嵌套子查询”应同时准备成功查询与反例查询；返回若正确但依赖偶然顺序，仍不满足结果合同。

3.9 数据库修改

在“第3章 SQL入门”中，“3.9 数据库修改”改变满足条件的元组并触发约束、索引、日志与并发协议；验证必须记录影响行数、提交边界和失败后的可见状态。

3.10 小结

在“第3章 SQL入门”中，“3.10 小结”组织“依据原书第7版完整目录覆盖10个节点：把关系问题翻译为可验证的DDL、查询、聚集、子查询与修改语句”的语义、结构、执行和证据；若不能给出一个状态变化与独立对账，本节点仍未完成。

机制推演：从语义到物理证据

SQL在关系思想上加入重复值、NULL与工程化类型。FROM建立候选组合，WHERE按三值逻辑过滤，GROUP BY形成组，HAVING过滤组，SELECT计算输出；物理执行顺序可以变化，但结果语义不能变化。

推演时始终区分五层。在“第3章 SQL入门”的证据链中，第一层是业务不变量，说明哪些数据库状态合法；第二层是逻辑模型与查询语义，说明结果应该是什么；第三层是物理计划和数据结构，说明系统怎样得到结果；第四层是并发、日志与复制协议，说明交错和故障后仍保留哪些承诺；第五层是观测证据，说明我们怎样知道前四层真的成立。性能优化只能改变第三层和部分第四层的实现，不能悄悄改变前两层。

对每个节点建立因果链：输入版本与配置 → 操作或调度 → 中间状态 → 可观察输出 → 独立对账。在“第3章 SQL入门”的证据链中，若结论涉及性能，报告中位数、尾延迟、吞吐、I/O和等待，而不是只截一条最快记录；若涉及正确性，至少准备一个应成功样本和一个应失败样本，并记录错误类别或恢复终点。

证据解释与交接

语义证据证明结果定义没有漂移。保存关系模式、约束、查询文本、参数、隔离级别和预期行集；涉及NULL、重复、顺序或聚集时，单独列出处理规则。任何实现比较都必须共享同一语义合同。

执行证据证明机制判断可以复核。保存计划、实际行数、缓冲命中、I/O、锁或版本、日志位置和错误状态中与本章相关的部分。计划估计与实际偏差本身就是结果，不应通过只截取计划名称隐藏。

失败证据证明边界真实存在。每次只注入一个变量：空输入、重复键、倾斜、并发冲突、进程崩溃、存储丢失或网络分区。明确失败前最后一个持久状态、恢复后第一个可用状态，以及是否需要人工介入。

交接证据让另一位学习者无需口头补充就能复现。最少包括版本卡、大学模式加载与重置脚本、预测表、大学数据库建表脚本、十类查询基线和写入前后差异报告、正常与失败轨迹、独立对账、已知限制和回退条件。若更换DBMS或版本，先重跑基线再比较。

本章回顾

重新完成“把关系问题翻译为可验证的DDL、查询、聚集、子查询与修改语句”：先声明不变量和输入版本，按10个目录节点建立模型，手算正常路径，注入一个边界或故障，收集语义与执行证据，最后由独立查询对账。最终交付大学数据库建表脚本、十类查询基线和写入前后差异报告，并能证明“SQL结果合同明确列、行、重复、NULL与顺序，修改语句的影响范围可预览”。

小结

• DDL 定义结构，DML 操作数据
• 查询三件套：SELECT、FROM、WHERE
• 聚集配合分组回答统计问题
• 子查询嵌套表达复杂条件
• 修改语句要验证影响行数

复习与独立验收

← 上一页：第2章 关系模型概述 · 下一页：第4章 中级SQL →