嵌入式實時數據庫系統的事務模型及其處理技術

1 緒論
 1.1 嵌入式數據庫的現狀
 1.2 實時數據庫系統的發(fā)展
 1.3 內存數據庫研究現狀
 1.4 主動數據庫研究現狀
 1.5 本書的主要研究內容和創(chuàng)新之處
2 嵌入式實時數據庫系統及其事務處理特點
 2.1 嵌入式時數據庫系統的特點
 2.2 基于替代/補償的實時事務及其處理
3 嵌入式實時數據系統事務模型
 3.1 嵌入式實時數據庫系統數據模型
 3.2 實時事務的執(zhí)行特點
 3.3 基于替代的實時事務模型
 3.4 支持補償的實時事務模型
4 事務預分析
 4.1 截目期的確定
 4.2 替代的生成
 4.3 事務執(zhí)行時間預分析
 4.4 替代的資源需求分析
 4.5 替代的可調度性分析
5 接納控制機制
 5.1 支持替代的接納控制機制IACM
 5.2 支持補償的接納控制機制ACACM
6 嵌入式實時數據庫系統的并發(fā)控制協議
 6.1 基于FATM事務的并發(fā)控制特點
 6.2 正確性標準
 6.3 基于替代的并發(fā)控制策略
7 事務調度策略
 7.1 替代的優(yōu)先級分派
 7.2 事務的二重調度策略與實現
 7.3 基于系統收益的可搶占調度策略
 7.4 存取時態(tài)數據的事務調度策略
 7.5 補償任務調度
8 數據組織
 8.1 傳統的內存索引結構
 8.2 H-T及其存取方法
9 功能替代對實進數據系統性能的影響
結論與展望
參考文獻