数据库设计与关系理论PDF|Epub|txt|kindle电子书版本网盘下载

数据库设计与关系理论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被键蕴含的JD121

10.4一个有用的定理124

10.5 F D不是JD125

10.6更新异常再探125

习题127

第11章隐式依赖关系128

11.1无关的分量128

11.2结合分量129

11.3不可约的J D130

11.4小结133

11.5追逐算法135

11.6结束语139

习题139

第12章 多值依赖和4NF141

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例1194

15.4例2195

15.5例3196

15.6例4196

15.7例5197

15.8例6197

15.9例7200

15.10例8202

15.11例9202

15.12例10204

15.13例11204

15.14例12205

15.15管理冗余206

15.16改善定义208

15.17结束语215

习题216

第六部分 附录219

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

附录B 冗余回顾232

附录C 重要论文回顾237

附录D 习题答案241