圖書信息
書名:嵌入式移動實時資料庫事務處理技術
書號:978-7-113-11575-3
版次:1版1次
開本:16開
頁碼:102頁
作者:廖國瓊
出版時間:2010-06-02
定價:28 元
適用專業:計算機及相關專業
作者簡介
廖國瓊,男,2003年6月在華中科技大學獲得博士學位(計算機軟體理論專業)2005年7月在華中科技大學獲得博士後學位,2005.7-2007.6,任西門子中國研究院研究員,2007.6至今。任江西財經大學教授。
先後主持及參與包括國家自然科學基金、中國博士後基金、國防預研基金等10餘項國家及省部級項目研究,在國內外學術期刊及會議上表論文50作篇,專利2項,獲教育部自然科學二等獎和廣西壯族自治區科技進步三等獎各1項。
目前主要從事資料庫理論與技術(包括嵌入式、移動、實時、內在及分散式資料庫)及RFID中間件等研究。
圖書目錄
第1章 引論
1.1 嵌入式移動實時資料庫概念
1.2 嵌入式移動實時資料庫管理系統需求
1.3 嵌入式移動實時資料庫的典型套用
1.4 相關產品介紹
1.5 本書主要內容及組織
第2章 嵌入式移動實時資料庫系統模型及結構
2.1 嵌入式移動計算環境概述
2.2 嵌入式移動實時資料庫系統模型及結構
2.3 嵌入式移動實時資料庫關鍵技術
2.4 本章小結
第3章 嵌入式移動實時事務特徵及模型
3.1 嵌入式移動實時事務特徵
3.2 嵌入式移動實時事務模型
3.2.1 經歷模型
3.2.2 結構模型
3.2.3 語義模型
3.2.4 執行模型
3.3 嵌人式移動實時事務正確性
3.3.1 概述
3.3.2 正確性的不同方面
3.4.本章小結
第4章 嵌入式移動實時事務並發控制
4.1 基於謹慎有序共享的散度控制封鎖模型
4.1.1 散度控制鎖模型與爭可串列化
4.1.2 基於謹慎有序共享的散度控制
4.2 DC/POS-PAI-2PI.協定
4.2.1 嵌套可串列化及其保證
4.2.2 Check Out/Check In協定
4.2.3 DC/POS-.PSI-2PI.協定描述及其正確性