第一章 数据库概述 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