第7章 关系数据库设计

本课程对应Abraham Silberschatz、Henry F. Korth、S. 在“第7章 关系数据库设计”的证据链中，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。本页属于“第二部分 数据库设计”，依据正式目录覆盖11个节点。

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

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

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

本页主问题是“用函数依赖、无损连接与依赖保持把更新异常转化为可证明的设计决策”。交付不以读完为准，而以另一位学习者能从依赖最小覆盖、闭包推导、BCNF或3NF分解证明和异常样本复现同一结论为准。最小正确性合同是：每次分解都无损，关键依赖可执行检查，时态事实的有效时间与记录时间不混淆。

核心词汇与系统边界

函数依赖、属性闭包、无损分解、依赖保持、BCNF 构成本页词汇表。每个词都要回答四个问题：它约束什么状态，由哪个模块执行，在哪个故障或并发边界会失效，用什么证据发现失效。只给一句名词解释不构成掌握。

第七版机制逐项深读

7.1 好的关系设计的特点

在“第7章 关系数据库设计”中，“7.1 好的关系设计的特点”服务于“依据原书第7版完整目录覆盖11个节点：用函数依赖、无损连接与依赖保持把更新异常转化为可证明的设计决策”；解释必须写清输入关系、约束、状态变化、可观察输出和一个可推翻结论的反例。

7.2 使用函数依赖进行分解

在“第7章 关系数据库设计”中，验证“7.2 使用函数依赖进行分解”构造一个会产生插入、删除或更新异常的反例，并用自然连接重建原关系检查伪元组。

7.3 范式

在“第7章 关系数据库设计”中，验证“7.3 范式”构造一个会产生插入、删除或更新异常的反例，并用自然连接重建原关系检查伪元组。

7.4 函数依赖理论

在“第7章 关系数据库设计”中，分析“7.4 函数依赖理论”要区分由业务语义给出的依赖和当前样本偶然满足的相关性，不能从少量数据臆造约束。

7.5 使用函数依赖的分解算法

在“第7章 关系数据库设计”中，验证“7.5 使用函数依赖的分解算法”构造一个会产生插入、删除或更新异常的反例，并用自然连接重建原关系检查伪元组。

7.6 使用多值依赖进行分解

在“第7章 关系数据库设计”中，“7.6 使用多值依赖进行分解”不是表越碎越好；规范化收益需与查询路径、事务边界和约束可执行性一起判断。

7.7 更多范式

在“第7章 关系数据库设计”中，“7.7 更多范式”用依赖约束判断冗余与更新异常；先求属性闭包和候选码，再验证分解的无损连接与依赖保持。

7.8 原子域与第一范式

在“第7章 关系数据库设计”中，“7.8 原子域与第一范式”不是表越碎越好；规范化收益需与查询路径、事务边界和约束可执行性一起判断。

7.9 数据库设计过程

在“第7章 关系数据库设计”中，围绕“7.9 数据库设计过程”比较两种实现时，共用同一结果合同与数据快照，并报告估计、实际与资源边界。

7.10 时态数据建模

在“第7章 关系数据库设计”中，围绕“7.10 时态数据建模”比较两种实现时，共用同一结果合同与数据快照，并报告估计、实际与资源边界。

7.11 小结

在“第7章 关系数据库设计”中，“7.11 小结”组织“依据原书第7版完整目录覆盖11个节点：用函数依赖、无损连接与依赖保持把更新异常转化为可证明的设计决策”的语义、结构、执行和证据；若不能给出一个状态变化与独立对账，本节点仍未完成。

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

函数依赖描述所有合法实例的决定关系。闭包判断码与蕴含，最小覆盖消除冗余，分解算法在减少异常时必须同时检查无损连接和依赖保持；范式名称只是证明结果，不是机械目标。

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

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

证据解释与交接

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

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

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

交接证据让另一位学习者无需口头补充就能复现。最少包括版本卡、大学模式加载与重置脚本、预测表、依赖最小覆盖、闭包推导、BCNF或3NF分解证明和异常样本、正常与失败轨迹、独立对账、已知限制和回退条件。若更换DBMS或版本，先重跑基线再比较。

本章回顾

重新完成“用函数依赖、无损连接与依赖保持把更新异常转化为可证明的设计决策”：先声明不变量和输入版本，按11个目录节点建立模型，手算正常路径，注入一个边界或故障，收集语义与执行证据，最后由独立查询对账。最终交付依赖最小覆盖、闭包推导、BCNF或3NF分解证明和异常样本，并能证明“每次分解都无损，关键依赖可执行检查，时态事实的有效时间与记录时间不混淆”。

小结

• 函数依赖揭示冗余根源
• 范式化消除更新异常
• 无损连接与依赖保持要兼顾
• BCNF 与 3NF 各有取舍
• 反范式是有意识的工程权衡

复习与独立验收

← 上一页：第6章 使用E-R模型的数据库设计 · 下一页：第8章 复杂数据类型 →