数据库理论及新领域PDF电子书下载

第一章 数据库概述 1

第二章 关系和关系模式 6

2.1实例 6

2.2关系的形式定义 8

2.3键（Key） 9

2.4关系的更新 10

习题 12

第三章 关系操作 15

3.1布尔操作 15

3.2选择、投影和连接操作 18

3.3 商操作 26

3.4常关系和更名属性 28

3.5等值连接操作和扩充操作功能 30

3.6关系代数 34

习题 36

第四章 无损分解 38

4.1 问题提出——关系分解 38

4.2投影与自然连接的关系 40

4.3函数依赖（Functional Dependence） 42

4.4多值依赖（Multivalue Dependence） 43

4.5连接依赖（Join Dependence） 45

习题 49

第五章 依赖理论 52

5.1带依赖集的关系模式 52

5.2数依赖公理 53

5.3多值依赖公理 57

5.4依赖基 60

5.5多值依赖公理的完备性定理 63

5.6嵌入连接依赖 65

习题 66

第六章 关系数据库范式 68

6.1只与函数依赖有关的关系数据库范式 68

6.2分解式规范化算法 72

6.3保持依赖的无损分解 74

6.4依赖集的等价变换（一）：无冗余化和既约化 76

6.5依赖集的等价变换（二）：最小化 78

6.6保持依赖的无损分解的完整算法 83

6.7第四范式 86

6.8第五范式 87

习题 88

7.1投影连接映照 90

第七章 符号表和跟踪算法 90

7.2符号表 92

7.3符号表等价性与模式等价性 94

7.4带限制的符号表等价性 98

7.5跟踪算法 102

7.6检验隐含依赖 104

7.7跟踪算法的计算复杂度 111

习题 112

8.1合理表示的概念 115

第八章 表示理论 115

8.2数据库模式的数据等价性 123

8.3测试合理表示 126

8.4测试数据等价性 132

习题 135

第九章 无环数据库模式 137

9.1数据库模式的性质 137

9.1.1完全归约的存在性 137

9.1.2 连接依赖与多值依赖间的等价性 140

9.1.3唯？4NF 分解 141

9.1.4成对一致性蕴涵完全一致性 142

9.1.5较小的中间连接 143

9.2数据库模式的语法条件 145

9.2.1无环超图 145

9..2.2 连接树 150

9.2.3 连续交集性质 152

9.3各种条件的等价性 152

9.3.1 Graham归约 152

9.3.2找出连接树 154

9.3.3 无环数据库模式的等价性定理 156

参考文献 157

第十章 分布式数据库的查询处理 158

10.1记号和定义 158

10.2相等连接查询 160

10.3半连接归约对查询的解 161

10.3.1 归约（Reduction） 161

10.3.2树查询 162

10.3.3环查询 168

10.4树类查询的成员测试算法 169

10.5半连接在分布式数据库中应用的基本概念 174

10.5.1数据库略图（Profile）和对半连接运算的估计 175

10.5.2把半连接用于连接查询 176

10.6确定半连接程序的SDD-1算法 179

10.6.1基本SDD-1算法 179

10.6.2事后优化 184

10.7确定半连接程序的AHY（Apers,Hevner,Yao）算法 185

10.7.1简单查询 187

10.7.2调度的综合 191

参考文献 193

第十一章 并行控制（Concurrency Control） 194

11.1概念与记号 195

11.2 正确性理论 197

11.2.1终态可串行性（Final—State Serializability） 197

11.2.2视图可串行性（View Serializability） 199

11.2.3冲突可串行性（Conflict Serializability） 200

11.3调度器算法 202

11.3.1封锁方法（Locking） 202

11.3.2时间印方法（Timestamp） 204

11.3.3 冲突图方法 205

11.3.4分布式调度器 206

11.4多版本并行控制（MultiversionConcurrency Control） 207

11.4.1多版本系统的正确性 208

11.4.2多版本调度器的能力 210

11.4.3多版本调度器算法 213

参考文献 214

第十二章 可靠性（Reliability） 216

12.1集中式系统的可靠性理论 216

12.1.1强化的调度器 217

12.1.2数据管理器（Data Manager） 222

12.2分布式系统的确认协议（CommitProtocol） 226

12.2.1原子性确认协议（Atomic Commitment Protocol） 227

12.2.2两段确认协议（Two—phase Commit Protocol） 229

12.2.3三段确认协议（Three—phase Commit Protocol） 232

参考文献 236

第十三章 逻辑数据库查询语言的实现 238

13.1逻辑数据库的查询 239

13.2规则／目标图和基本俘获规则 249

13.3基于递归的俘获规则 255

参考文献 259

14.1引言 260

第十四章 逻辑数据库查询求值过程的优化 260

14.2边侧信息传递 262

14.3装饰规则集 267

14.4 魔集法（Magic Set Method） 270

14.5计数方法（Counting Method） 277

参考文献 281

第十五章 面向对象的数据库系统 282

1 5.1新的应用领域及其对数据库技术的要求 282

1 5.1.1新的应用领域 282

1 5.1.2新的应用领域对数据库技术的要求 284

15.2 面向对象技术与数据库技术的结合 286

15.2.1 面向对象的概念与特点 287

15.2.2面向对象的数据库管理系统（OODBMS） 297

15.3 几个典型的OODBMS 300

15.3.1 VBASE 300

15.3.2 GemStone 306

15.3.3 Iris 311

15.3.4 ORION 317

15.4.1关系数据库系统 326

15.4 与OODB有关的研究领域 326

15.4.2语义数据模型 327

15.4.3嵌套关系（Nested Relations） 327

15.4.4数据库程序设计语言与持久性程序设计语言 327

15.4.5可扩充的数据库系统 327

参考文献 328

第十六章 可扩充的数据库系统 329

16.1实现可扩充性的途径 330

16.1.1扩充DBMS功能的三种方式 330

16.1.2构造可扩充的DBMS的两种方式 331

16.2可扩充的各个方面 333

16.2.1 面向应用的扩充 333

16.2.2 面向系统的扩充 336

16.3 几个可扩充的DBMS 339

16.3.1 POSTGRES 340

16.3.2 Exodus 351

16.3.3 GENESIS 357

16.3.4其他可扩充的DBMS原型系统 361

16.4可扩充的数据库与面向对象的数据库的比较 366

参考文献 367