事务信息系统——计算机科学丛书 (2008 年度畅销榜NO.9358 )

本书从理论上介绍事务处理技术的方方面面，涵盖多版本并发控制，包括索引结构上的并发，事务恢复、崩溃恢复、介质恢复和应用恢复，分布式事务的并发与恢复等，同时也对在工作流以及电子商务应用中如何运用事务技术给出了参照标准。本书论述优雅紧凑，推理严谨洗练，是阐述对象模型上的事务处理方法的专著。\r\n 本书适合作为高等院校计算机等相关专业的教材或参考书，也可供专业技术人员参考。\r\n

第一部分 背景与动机\r\n 第1章 概述 \r\n 1.1 目标和概述 \r\n 1.2 应用举例 \r\n 1.2.1 联机事务处理：借/贷的例子 \r\n 1.2.2 电子商务的例子 \r\n 1.2.3 工作流管理：旅行计划的例子 \r\n 1.3 系统范型 \r\n 1.3.1 三层体系结构和两层体系结构 \r\n 1.3.2 服务器的联合 \r\n 1.4 事务概念的优点 \r\n 1.4.1 事务特性与事务编程接口 \r\n 1.4.2 事务服务器的功能需求 \r\n 1.5 数据库服务器的概念与体系结构 \r\n 1.5.1 数据库系统的分层体系结构 \r\n 1.5.2 数据是如何存储的 \r\n 1.5.3 数据是如何被访问的 \r\n 1.5.4 查询与更新是如何进行的 \r\n 1.6 小结 \r\n 习题 \r\n 文献注释 \r\n 第2章 计算模型 \r\n 2.1 目标和概述 \r\n 2.2 计算模型的组成部分 \r\n 2.3 页模型 \r\n 2.4 对象模型 \r\n 2.5 本书的“路线图” \r\n 2.6 小结 \r\n 习题 \r\n 文献注释 \r\n第二部分 并发控制\r\n 第3章 并发控制：页模型正确性的概念 \r\n 3.1 目标和概述 \r\n 3.2 经典的并发问题 \r\n 3.3 历史和调度的语法 \r\n 3.4 历史和调度的正确性 \r\n 3.5 调度的Herbrand语义 \r\n 3.6 终态可串行性 \r\n 3.7 视图可串行性 \r\n 3.7.1 视图等价和结果正确性准则 \r\n 3.7.2 检测视图可串行性的复杂性 \r\n 3.8 冲突可串行性 \r\n 3.8.1 冲突关系 \r\n 3.8.2 CSR类 \r\n 3.8.3 冲突和交换性 \r\n 3.8.4 冲突可串行性的约束 \r\n 3.9 提交可串行性 \r\n 3.10 一个可选的正确性准则：交叉存取说明 \r\n 3.11 小结 \r\n 习题 \r\n 文献注释 \r\n 第4章 并发控制算法 \r\n 4.1 目标和概述 \r\n 4.2 通用调度器的设计 \r\n 4.3 锁调度器 \r\n 4.3.1 简介 \r\n 4.3.2 两阶段封锁协议 \r\n 4.3.3 死锁处理 \r\n 4.3.4 2PL的变体 \r\n 4.3.5 有序的共享锁 \r\n 4.3.6 利它锁 \r\n 4.3.7 非两阶段封锁协议 \r\n 4.3.8 封锁的几何学意义 \r\n 4.4 非封锁调度器 \r\n 4.4.1 时间戳排序 \r\n 4.4.2 串行化图的检测 \r\n 4.4.3 乐观协议 \r\n4.5 混合协议 \r\n 4.6 小结 \r\n 习题 \r\n 文献注释 \r\n 第5章 多版本并发控制 \r\n 第6章 对象上的并发控制：正确性概念 \r\n 第7章 对象上的并发控制算法 \r\n 第8章 关系数据库的并发控制 \r\n 第9章 搜索结构上的并发控制 \r\n 第10章 实现和实用性问题 \r\n第三部分 恢 复\r\n 第11章 事务恢复 \r\n 第12章 崩溃恢复：正确性概念 \r\n 第13章 页模型崩溃恢复算法 \r\n 第14章 对象模型的故障恢复 \r\n 第15章 恢复的特别问题 \r\n 第16章 介质恢复 \r\n 第17章 应用恢复 \r\n第四部分 分布式事务的协调\r\n 第18章 分布式并发控制 \r\n 第19章 分布式事务恢复 \r\n第五部分 应用与未来前景\r\n 第20章 下一步是什么 \r\n 文献注释 \r\n 参考文献\r\n

无封面