事務信息系統：並發控制與恢復的理論算法與實踐
基本介紹
- 中文名：事務信息系統:並發控制與恢復的理論算法與實踐
- 出版社：機械工業出版社
- 頁數：494頁
- ISBN：711117531X, 9787111175315
- 作者：威肯 沃什
- 出版日期：2006年1月1日
- 開本：16開
- 品牌：機械工業出版社
內容簡介,作者簡介,媒體推薦,圖書目錄,
內容簡介
本書是事務處理領域的前沿科學家們期待已久的綜合性大作，全書從理論上介紹事務處理技術的方方面面，涵蓋多版本並發控制，包括索引結構上的並發，事務恢復、崩潰恢復、介質恢復和套用恢復，分散式事務的並發與恢復等，同時也對在工作流以及電子商務套用中如何運用事務技術給出了參照標準，能夠幫助你輕鬆面對當前信息技術的挑戰
本書從理論上介紹事務處理技術的方方面面，涵蓋多版本並發控制，包括索引結構上的並發，事務恢復、崩潰恢復、介質恢復和套用恢復，分散式事務的並發與恢復等，同時也對在工作流以及電子商務套用中如何運用事務技術給出了參照標準。本書論述優雅緊湊，推理嚴謹洗鍊，是闡述對象模型上的事務處理方法的專著。
本書適合作為高等院校計算機等相關專業的教材或參考書，也可供專業技術人員參考。
本書從理論上介紹事務處理技術的方方面面，涵蓋多版本並發控制，包括索引結構上的並發，事務恢復、崩潰恢復、介質恢復和套用恢復，分散式事務的並發與恢復等，同時也對在工作流以及電子商務套用中如何運用事務技術給出了參照標準。本書論述優雅緊湊，推理嚴謹洗鍊，是闡述對象模型上的事務處理方法的專著。
本書適合作為高等院校計算機等相關專業的教材或參考書，也可供專業技術人員參考。
作者簡介
作者：(德)威肯 沃什
Gerhard Weikum，德國Saarbrueken Saarland大學計算機科學系的教授，他在這裡領導著一個研究團隊，專門從事資料庫與信息系統方面的研究。他的研究重點是並行的和分散式的信息系統、事務處理和工作流管理、資料庫最佳化和性能評價、多媒體資料庫管理和Web數據智慧型搜尋。
Gerhard Weikum，德國Saarbrueken Saarland大學計算機科學系的教授，他在這裡領導著一個研究團隊，專門從事資料庫與信息系統方面的研究。他的研究重點是並行的和分散式的信息系統、事務處理和工作流管理、資料庫最佳化和性能評價、多媒體資料庫管理和Web數據智慧型搜尋。
媒體推薦
書評
本書標誌了事務處理技術的一個重要進步。它深入介紹了該領域的理論和實踐，是講述多級（對象模型）事務處理最新進展的第一本著作。在未來多年內極有可能成為我們研究領域內的標準參考書。
－－Jim Gray, 微軟公司
本書是事務處理領域的前沿科學家們期待已久的綜合性大作。本書的目的和功績就在於闡述事務系統的基礎理論以及領域內的實際套用，能夠幫助你輕鬆面對當前信息技術的挑戰。
本書特點
●給出了常見的主題的最新進展，同時提供了充分利用這些素材所必需的資料庫背景知識。
●廣泛探究事務處理的過程，既討論在實踐中獲得廣泛套用的信息技術又講解實現企業目標的方法。
●包含了對基於Web的電子商務套用的開發者非常重要的信息，對傳統套用的開發也很有幫助。
●詳細描述底層事務處理的核心功能所用的算法。
本書標誌了事務處理技術的一個重要進步。它深入介紹了該領域的理論和實踐，是講述多級（對象模型）事務處理最新進展的第一本著作。在未來多年內極有可能成為我們研究領域內的標準參考書。
－－Jim Gray, 微軟公司
本書是事務處理領域的前沿科學家們期待已久的綜合性大作。本書的目的和功績就在於闡述事務系統的基礎理論以及領域內的實際套用，能夠幫助你輕鬆面對當前信息技術的挑戰。
本書特點
●給出了常見的主題的最新進展，同時提供了充分利用這些素材所必需的資料庫背景知識。
●廣泛探究事務處理的過程，既討論在實踐中獲得廣泛套用的信息技術又講解實現企業目標的方法。
●包含了對基於Web的電子商務套用的開發者非常重要的信息，對傳統套用的開發也很有幫助。
●詳細描述底層事務處理的核心功能所用的算法。
圖書目錄
出版者的話
專家指導委員會
譯者序
序
前言
第一部分 背景與動機
第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 小結
習題
……
專家指導委員會
譯者序
序
前言
第一部分 背景與動機
第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 小結
習題
……
