数据库往往要在生产中持续运行几十年，而为避免细微的错误和处理不时出现的问题，精心的设计是至关重要的。如果数据库的设计不好，它带来的负面影响可能会非常广泛。戴特所著的《数据库设计与关系理论》会告诉你如何使用重要的理论成果创建良好的数据库设计。

关系数据库设计领域的经典之作，关系数据库领域泰斗级人物40年经验的结晶！与其他讲述数据库设计的书相比，戴特所著的《数据库设计与关系理论》的独特之处是什么呢？许多数据库设计实践图书对基本理论的解释不清晰，而那些侧重设计理论的图书又主要面向理论研究人员，过于学术化。在本书中，关系数据库领域的泰斗C．J．Date用超过40年的经验证明了为什么恰当的数据库设计是非常关键的，他用数据库设计者和开发者可以轻松理解的方式介绍了设计理论，弥补了其他图书的空缺。

《数据库设计与关系理论》每章都包括一组习题，它们要么展示在实践中如何应用理论，提供更多的信息，要么要求你证明一些简单的理论结果。如果你是一位熟悉关系模型的数据库专业人员，并对数据库设计有非凡的兴趣，那么本书正是为你准备的。

前言/1

第一部分 设置环境

第1章 篇首语/7

 1.1 从文献摘录的一些引用/8

 1.2 关于术语的说明/9

 1.3 正在运行的示例/11

 1.4 键/12

 1.5 设计理论的地位/13

 1.6 本书的目的/16

 1.7 结束语/17

 习题/18

第2章 预备知识/20

 2.1 概览/20

 2.2 关系及关系变量/21

 2.3 谓词和命题/23

 2.4 更多的供应商和零件/26

 习题/28

第二部分 函数依赖、BOYCE/CODD范式及相关事宜

第3章 规范化：一些通则/33

 3.1 规范化用于两个目的/35

 3.2 更新异常/38

 3.3 范式层次结构/38

 3.4 规范化和约束/40

 3.5 结束语/41

 习题/42

第4章 函数依赖和BCNF（非正式的）/44

 4.1 第一范式/44

 4.2 函数依赖/48

 4.3 键的重新审视/49

 4.4 第二范式/51

 4.5 第三范式/53

 4.6 Boyce/Codd范式/53

 习题/55

第5章 函数依赖和BCNF（正式的）/58

 5.1 初步定义/58

 5.2 函数依赖/60

 5.3 Boyce/Codd范式/61

 5.4 希思定理/64

 习题/67

第6章 保持函数依赖/68

 6.1 遗憾的冲突/70

 6.2 第二个例子/72

 6.3 第三个例子/74

 6.4 第四个例子/75

 6.5 一个能够工作的过程/77

 6.6 恒等分解/81

 6.7 关于冲突的更多内容/82

 6.8 独立投影/83

 习题/84

第7章 FD公理化/85

 7.1 阿姆斯特朗公理/85

 7.2 附加规则/87

 7.3 证明附加规则/89

 7.4 另一种闭包/89

 习题/91

第8章 反规范化/93

 8.1“反规范化是为了性能”吗/93

 8.2 反规范化是什么意思/94

 8.3 什么不是反规范化（I）/96

 8.4 什么不是反规范化（II）/98

 8.5 反规范化是有害的（I）/100

 8.6 反规范化是有害的（II）/102

 8.7 结束语/103

 习题/103

第三部分 连接依赖、第五范式及其他相关事项

第9章 连接依赖及5NF（非正式的）/107

 9.1 连接依赖的基本思路/108

 9.2 一个属于BCNF但不属于5NF的关系变量/111

 9.3 循环规则/114

 9.4 结束语/115

 习题/116

第10章 连接依赖及5NF（正式的）/117

 10.1 连接依赖/117

 10.2 第五范式/119

 10.3 被键蕴含的JD/121

 10.4 一个有用的定理/124

 10.5 FD不是JD/125

 10.6 更新异常再探/125

 习题/127

第11章 隐式依赖关系/128

 11.1 无关的分量/128

 11.2 结合分量/129

 11.3 不可约的JD/130

 11.4 小结 /133

 11.5 追逐算法/135

 11.6 结束语/139

 习题/139

第12章 多值依赖和4NF/141

 12.1 一个介绍性的例子/141

 12.2 多值依赖（非正式的）/143

 12.3 多值依赖（正式的）/144

 12.4 第四范式/145

 12.5 公理化/147

 12.6 嵌入式依赖/148

 习题/149

第13章 额外的范式/151

 13.1 相等依赖/152

 13.2 第六范式/153

 13.3 超键范式/156

 13.4 无冗余范式/157

 13.5 域－键范式/163

 13.6 结束语/164

 习题/166

第四部分 正交

第14章 正交设计原则/171

 14.1 规范化的两个欢呼声/171

 14.2 一个启发性的例子/173

 14.3 一个更简单的例子/174

 14.4 元组与命题/177

 14.5 第一个例子再探/181

 14.6 第二个例子再探/183

 14.7 最终版本/183

 14.8 澄清/184

 14.9 结束语/185

 习题/186

第五部分 冗余

第15章 我们需要更多的科学/189

 15.1 一点历史/191

 15.2 数据库设计是谓词设计/193

 15.3 例1/194

 15.4 例2/195

 15.5 例3/196

 15.6 例4/196

 15.7 例5/197

 15.8 例6/197

 15.9 例7/200

 15.10 例8/202

 15.11 例9/202

 15.12 例10/204

 15.13 例11/204

 15.14 例12/205

 15.15 管理冗余/206

 15.16 改善定义/208

 15.17 结束语/215

 习题/216

第六部分 附录

 附录A 主键是良好的，但不是必需的/219

 附录B 冗余回顾/232

 附录C 重要论文回顾/237

 附录D 习题答案/241