事务信息系统

译者序
序
前言
目录
第一部分 背景与动机
第1章 概述
· · · · · · (更多)

译者序
序
前言
目录
第一部分 背景与动机
第1章 概述
1.1 目标和概述
1.2 应用举例
1.2.1 联机事务处理：借/贷的例子
1.2.2 电子商务的例子
1.2.3 工作流管理：旅行计划的例子
1.3 系统范型
1.3.1 三层体系结构和两层体系结构
1.3.2 服务器的联合
1.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 小结
习题
文献注释
第5章 多版本并发控制
5.1 目标和概述
5.2 多版本调度
5.3 多版本可串行性
5.3.1 多版本视图可串行性
5.3.2 MVSR成员资格检测
5.3.3 多版本冲突可串行性
5.4 限制版本的数目
5.5.1 MVTO协议
5.5 多版本并发控制协议
5.5.2 MV2PL协议
5.5.3 MVSGT协议
5.5.4 只读事务的多版本协议
5.6 小结
习题
文献注释
第6章 对象上的并发控制：正确性概念
6.1 目标和概述
6.2 历史和调度
6.3 平面对象事务的冲突可串行性
6.4 树可归约性
6.5 树可归约的充分条件
6.6 采用基于状态的可交换性
6.7 小结
习题
文献注释
第7章 对象上的并发控制算法
7.1 目标和概述
7.2 平面对象事务封锁
7.3 分层锁
7.4 通用事务森林上的封锁
7.5 混合算法
7.6 为返回值的可交换性加锁和契约锁
7.7 小结
习题
文献注释
第8章 关系数据库的并发控制
8.1 目标和概述
8.2 面向谓词的并发控制
8.3 关系的更新事务
8.3.1 语法和语义
8.3.2 可交换性和简化规则
8.3.3 历史和最终状态的可串行性
8.3.4 冲突可串行性
8.3.5 扩展的冲突可串行性
8.3.6 在函数依赖面前的可串行性
8.3.7 小结
8.4 应用事务程序知识
8.4.1 范例
8.4.2 事务分割
8.4.3 切割的适用性
8.5 小结
习题
文献注释
第9章 搜索结构上的并发控制
9.1 目标和概述
9.2 B+树搜索结构的实现
9.3 访问层的键范围封锁
9.4 页层的技术
9.4.1 锁耦合
9.4.2 链接技术
9.4.3 放弃技术
9.5 进一步的优化
9.5.1 无死锁的页闩锁
9.5.2 增强的键范围并发
9.5.3 降低封锁开销
9.5.4 利用暂态版本化
9.6 小结
习题
文献注释
第10章 实现和实用性问题
10.1 目标和概述
10.2 锁管理器的数据结构
10.3 多粒度封锁和动态提升
10.4 暂态版本化
10.5 事务内部并行的嵌套事务
10.6 调整选项
10.6.2 SQL的隔离级别
10.6.1 手动封锁
10.6.3 短事务
10.6.4 多道程序级别的限制
10.7 过载控制
10.7.1 反馈驱动方法
10.7.2 等待深度限制
10.8 小结
习题
文献注释
第三部分 恢复
第11章 事务恢复
11.1 目标和概述
11.2 带有显式Undo操作的扩展调度
11.2.1 概念的直觉和概述
11.2.2 形式化模型
11.3 页模型的正确性准则
11.3.1 扩展冲突可串行性
11.3.2 可归约性与前缀可归约性
11.4 充分的句法条件
11.4.2 避免级联中止
11.4.1 可恢复性
11.4.3 严格性
11.4.4 严厉性
11.4.5 日志可恢复性
11.5 带有事务中止的页模型调度协议
11.5.1 为实现严格性和严厉性扩展两阶段封锁协议
11.5.2 为日志可恢复性扩展串行图检测
11.5.3 为日志可恢复性扩展其他协议
11.6 对象模型的正确性准则
11.6.1 平面对象调度中的中止
11.6.2 通用对象模型中的完全中止和部分中止
11.7 带有事务中止的对象模型调度协议
11.8 小结
习题
文献注释
第12章 崩溃恢复：正确性概念
12.1 目标和概述
12.2 系统体系结构和接口
12.3 系统模型
12.4 正确性准则
12.5 算法路线图
12.6 小结
习题
文献注释
第13章 页模型崩溃恢复算法
13.1 目标和概述
13.2 基本数据结构
13.3 重做胜者范型
13.3.1 正常操作期间的操作
13.3.2 简单的三遍扫描（三趟）算法
13.3.3 增强算法：日志截断、检查点、重做优化
13.3.4 完整的算法：处理事务中止和撤销完成
13.4 重做历史范型
13.4.1 正常操作期间的操作
13.4.2 简单的三趟算法和两趟算法
13.4.3 增强的算法：日志截断、检查点和重做优化
13.4.4 完整的算法：处理事务回滚和撤销完成
13.5 小结
习题
文献注释
第14章 对象模型的故障恢复
14.1 目标和概述
14.2 重做历史算法的概念综述
14.3 一个简单的两层系统的重做历史算法
14.3.1 正常操作期间的操作
14.3.2 重启期间的操作
14.4 一个增强的两层系统的重做历史算法
14.5 一个完整的通用对象模型执行的重做历史算法
14.6 小结
习题
文献注释
第15章 恢复的特别问题
15.1 目标和概述
15.2 索引和大对象的日志和恢复
15.2.1 重做索引页分裂的逻辑日志条目
15.2.2 大对象操作的逻辑日志条目和刷出顺序
15.3 事务内部保存点和嵌套事务
15.4 在重启过程中使用并行性
15.5 对主存数据服务器的特殊考虑
15.6 数据共享机群的扩展
15.7 小结
习题
文献注释
第16章 介质恢复
16.1 目标和概述
16.2 基于日志的方法
16.2.1 正常操作期间的数据备份和归档日志
16.2.2 数据库恢复算法
16.2.3 对平均数据丢失时间的分析
16.3.1 基于镜像的技术
16.3 存储冗余
16.3.2 基于纠错码的技术
16.4 灾难恢复
16.5 小结
习题
文献注释
第17章 应用恢复
17.1 目标和概述
17.2 基于队列的无状态应用
17.3 基于队列的有状态应用
17.4 基于队列的工作流
17.4.1 故障可恢复工作流的状态和上下文
17.4.2 基于排队事务的分散工作流
17.5 一般的有状态应用
17.5.1 设计上考虑的事项
17.5.2 服务器应答日志算法综述
17.5.3 数据结构
17.5.4 正常操作期间的服务器日志活动
17.5.5 正常操作期间的客户端日志活动
17.5.6 日志截断
17.5.7 服务器重启
17.5.8 客户端重启
17.5.9 正确性推理
17.5.10 对于多层体系结构的适用性
17.6 小结
习题
文献注释
第四部分 分布式事务的协调
第18章 分布式并发控制
18.1 目标和概述
18.2 同构联邦中的并发控制
18.2.1 预备知识
18.2.2 分布式2PL
18.2.3 分布式TO
18.2.4 分布式SGT
18.2.5 乐观协议
18.3 分布式死锁检测
18.4 异构联邦中的可串行性
18.4.1 全局历史
18.4.2 全局可串行性
18.4.3 准可串行性
18.5 通过本地的保证获得全局可串行性
18.5.1 严厉性
18.5.2 提交排序
18.6 基于ticket的并发控制
18.6.1 强迫冲突的显式ticket
18.6.2 隐式ticket
18.6.3 显示和隐式ticket的结合
18.7 异构联邦中对象模式的并发控制
18.8 数据共享系统的一致性和并发控制
18.9 小结
习题
文献注释
第19章 分布式事务恢复
19.1 目标和概述
19.2 基本的两阶段提交算法
19.2.1 2PC协议
19.2.2 重启和终止协议
19.2.3 独立恢复
19.3 事务树两阶段提交算法
19.4.1 假设中止协议和假设提交协议
19.4 分布式提交的优化算法
19.4.2 只读子树的优化
19.4.3 协调者转移
19.4.4 减少阻塞
19.5 小结
习题
文献注释
第五部分 应用与未来前景
第20章 下一步是什么
20.1 目标和概述
20.2 我们完成了什么
20.2.1 开发者可用的解决方案
20.2.2 高级的系统搭建者可用的最新技术
20.2.3 研究人员的方法学和新的挑战
20.3 用于普遍访问的数据复制
20.4 电子服务和工作流
20.5 性能和可用性保证
文献注释
参考文献
封底
· · · · · · (收起)