数据库设计与关系理论PDF电子书下载

前言 1

第一部分 设置环境 7

第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范式及相关事宜 33

第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什么不是反规范化（Ⅰ） 96

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

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

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

8.7结束语 103

习题 103

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

第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 F D不是JD 125

10.6更新异常再探 125

习题 127

第11章隐式依赖关系 128

11.1无关的分量 128

11.2结合分量 129

11.3不可约的J D 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

第四部分 正交 171

第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

第五部分 冗余 189

第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

第六部分 附录 219

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

附录B 冗余回顾 232

附录C 重要论文回顾 237

附录D 习题答案 241