本书是事务处理领域的前沿科学家们期待已久的综合性大作，全书从理论上介绍事务处理技术的方方面面，涵盖多版本并发控制，包括索引结构上的并发，事务恢复、崩溃恢复、介质恢复和应用恢复，分布式事务的并发与恢复等，同时也对在工作流以及电子商务应用中如何运用事务技术给出了参照标准，能够帮助你轻松面对当前信息技术的挑战。

本书从理论上介绍事务处理技术的方方面面，涵盖多版本并发控制，包括索引结构上的并发，事务恢复、崩溃恢复、介质恢复和应用恢复，分布式事务的并发与恢复等，同时也对在工作流以及电子商务应用中如何运用事务技术给出了参照标准。本书论述优雅紧凑，推理严谨洗练，是阐述对象模型上的事务处理方法的专著。

本书适合作为高等院校计算机等相关专业的教材或参考书，也可供专业技术人员参考。

出版者的话

专家指导委员会

译者序

序

前言

第一部分 背景与动机

第1章 概述

 1.1 目标和概述

 1.2 应用举例

1.2.1 联机事务处理：借／贷的例子

1.2.2 电子商务的例子

1.2.3 工作流管理：旅行计划的例子

 1.3 系统范型

1.3.1 三层体系结构和两层体系结构

1.3.2 服务器的联合

 l.4 事务概念的优点

1.4.1 事务特性与事务编程接口

1.4.2 事务服务器的功能需求

 1.5 数据库服务器的概念与体系结构

1.5.1 数据库系统的分层体系结构

1.5.2 数据是如何存储的

1.5.3 数据是如何被访问的

1.5.4 查询与更新是如何进行的

 1.6 小结

 习题

 文献注释

第2章 计算模型

 2.1 目标和概述

 2.2 计算模型的组成部分

 2.3 页模型

 2.4 对象模型

 2.5 本书的“路线图”

 2.6 小结

 习题

 文献注释

第二部分 并发控制

第3章 并发控制：页模型正确悭的概念

 3.1 目标和概述

 3.2 经典的并发问题

 3.3 历史和调度的语法

 3.4 历史和调度的正确性

 3.5 调度的Herbrand语义

 3.6 终态可串行性

 3.7 视图可串行性

 3.7.1 视图等价和结果正确性准则

 3.7.2 检测视图可串行性的复杂性

 3.8 冲突可串行性

3.8.1 冲突关系

3.8.2 CSR类

3.8.3 冲突和交换性

3.8.4 冲突可串行性的约束

 3.9 提交可串行性

 3.10 一个可选的正确性准则：交叉存取说明

 3.11 小结

 习题

 文献注释

第4章 并发控制算法

 4.1 目标和概述

 4.2 通用调度器的设计

 4.3 锁调度器

4.3.1 简介

4.3.2 两阶段封锁协议

4.3.3 死锁处理

4.3.4 2PL的变体

4.3.5 有序的共享锁

4.3.6 利它锁

4.3.7 非两阶段封锁协议

4.3.8 封锁的几何学意义

 4.4 非封锁调度器

4.4.1 时间戳排序

4.4.2 串行化图的检测

4.4.3 乐观协议

 4.5 混合协议

 4.6 小结

 习题

……