数据库系统导论 卷2PDF电子书下载

目录 1

第一章　恢复 1

1.1 引言 1

1.2　事务 3

讯息 7

事务结构 9

故障的种类 10

1.3　事务故障 10

撤消修改 12

联机运行日志 12

撤消的逻辑 13

长事务 14

运行日志压缩 15

1.4　系统故障 15

重做修改 19

重做的逻辑 19

运行记录优先 19

系统启动 20

讯息 21

检查点／恢复过程的改进 21

1.5　介质故障 24

1.6　两步法提交 25

1.7　若干数据操纵语言中的恢复操作 29

SQL（系统R） 29

DL/I（IMS） 30

DBTG 34

UDL 35

习题 35

参考资料和书目 36

习题选答 37

第二章　完整性 40

2.1　引言 40

2.2　完整性规则 42

2.3　域完整性规则 44

2.4　关系完整性规则 49

例子 54

一些说明 65

2.5　系完整性约束 67

2.6　触发过程 71

2.7　若干现有系统的完整性措施 73

SQL和System R 74

Query By Example 76

INGRES 77

IMS 78

DBTG 80

习题 83

参考资料和书目 84

习题选答 88

3.1　干扰问题 95

第三章 并行性 95

3.2　排它性封锁 97

3.3　可串行性 100

3.4　死锁 104

3.5　再论丢失更新问题 107

3.6　共享性封锁 110

3.7　更新封锁 116

3.8　两步法封锁 117

3.9　死锁的避免 123

事务调度法 123

请求拒绝法 124

事务重试法 124

3.10　封锁的粒度 126

设置时标法 126

3.11　有意封锁 128

3.12　隔离的级别 137

3.13　某些数据操纵语言的封锁操作 141

UDL 142

SQL（系统R） 146

DL/I（IMS） 148

DBTG 150

3.14　时标技术 152

习题 154

参考资料和书目 157

习题选答 160

4.1 引言 163

第四章　安全性 163

4.2　标识和证实 165

4.3　授权规则 167

仲裁程序 169

4.4　某些现有系统中的安全性措施 172

系统R 172

INGRES 178

Query By Example 180

IMS 180

DBTG 181

4.5　数据密级 182

UDL 182

4.6　统计数据库 183

4.7　数据加密（密码技术） 191

数据加密标准DES 193

公共索引密码法 194

习题 197

参考资料和书目 199

习题选答 204

第五章　数据模型 207

5.1　引言 207

5.2　什么是数据模型？ 207

5.3　关系模型 214

关系数据库 216

关系操作 220

关系代数：其它算子 226

关系规则 227

定义的若干推论 228

5.4　不可约模型 229

二元关系模型 230

不可约关系模型 234

函数模型 235

另一种看法 239

5.5　空值 241

处理空值的方案 243

空值对关系代数的影响 247

附加的算子 248

上述论断的推论 251

实现中的异常结构 256

缺省值 259

5.6　语义数据模型化 261

“基本语义模型” 263

实体-联系法 265

数据抽象 265

习题 267

参考资料和书目 269

习题选答 272

6.1 引言 278

第六章　扩充的关系模型RM/T 278

6.2　实体 279

实体分类 280

实体子型和父型 280

6.3　实体代号 281

6.4　E域、E属性和E关系 283

6.5　特性和P关系 285

6.6　实体引用 292

6.7　示性实体 293

6.8　联结实体 298

6.9　标定实体 301

类型层次 304

6.10　实体型 304

多个父型 309

子型完整性 310

选择性一般化 311

6.11　RM/T目录 311

特性图 313

示性图 314

联结图 314

标定图 315

子型图 316

6.12　RM/T算子 316

6.13　小结 322

算子 323

客体 323

完整性规则 324

命名约定 324

目录关系 325

假定的语法 326

习题 328

参考资料和书目 329

习题选答 331

第七章　分布式数据库 337

7.1　引言 337

位置透明性 338

复制件透明性 339

分布式系统的优点 340

7.2　分布式系统的结构 342

可靠通讯 342

数据分段 343

事务管理 345

均质系统和异质系统 345

分布式系统中的问题 346

7.3　分布式数据库和IMS 347

7.4　分布式数据库和CICS 349

7.5　查询处理 351

7.6　更新传播 355

7.7　并发控制 359

封锁 360

全局死锁 361

设置时标 365

保守时标法 367

事务类 369

冲突图分析 372

7.8　提交协议 376

7.9　目录管理 380

7.10　小结 386

习题 386

参考资料和书目 387

习题选答 394

8.1 引言 395

第八章　数据库机器 395

什么是数据库机器？ 397

优点和缺点 398

8.2　用通用机实现数据库机器的方法 400

性能 401

后端软件 403

若干已实现的系统 404

8.3　联想式磁盘技术 406

器件分类 408

性能 412

8.4　小结 415

参考资料和书目 417

汉英名词对照表 426