《主動資料庫系統理論基礎》是在作者三十餘年來對主動資料庫系統理論研究的基礎上撰寫的。書中系統論述和分析了主動資料庫系統理論以及若干新的概念、方法和算法。
基本介紹
- 書名：主動資料庫系統理論基礎
- 作者：郝忠孝
- ISBN：9787030233646
- 出版社：科學出版社
基本信息,內容簡介,目錄,前言,
基本信息
作 者：郝忠孝 著 叢 書 名：出 版 社：科學出版社ISBN：9787030233646 出版時間：2009-01-01 版 次：1 頁 數：368 裝 幀：平裝 開 本：16開 所屬分類：圖書 > 計算機與網際網路 > 資料庫
內容簡介
《主動資料庫系統理論基礎》共分二十章。主要內容包括主動資料庫管理系統的體系結構、主動規則的相關模型及說明語言、事件監測，特別重點討論了基於觸發圖、活化圖、惰化圖、事務、規則優先權、活化路徑、代數等方法對主動規則集終止性、匯流性的靜態和動態分析，較詳細地給出了相關的定理、方法和算法及算法證明，深入地討論了規則執行和監測、主動資料庫完整性等。
《主動資料庫系統理論基礎》可作為計算機科學與技術學科、控制理論與控制工程學科等相關專業的高年級本科生教材或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員等參考。
目錄
前言
第1章 主動資料庫系統概論
1.1 基礎知識
1.1.1 主動規則
1.1.2 事務
1.1.3 事務歷史查詢
1.1.4 事件和事件表達式
1.1.5 事件的消耗模式和事件的組合
1.1.6 規則庫與事件庫
1.1.7 規則的粒度和耦合模式
1.2 幾個主動資料庫原型系統
1.2.1 基於關係數據模型的主動資料庫系統
1.2.2 基於面向對象數據模型的主動資料庫系統
小結
第2章 主動資料庫管理系統的體系結構
2.1 主動資料庫管理系統的特性
2.1.1 E-C-A規則定義特性
2.1.2 E-C-A規則執行特性
2.1.3 ADBMS可用性和套用特性
2.2 主動資料庫管理系統的體系結構
2.2.1 輔助工具集成環境
2.2.2 執行主動功能的部件
2.2.3 數據存儲部件
2.3 主動資料庫管理系統的實現途徑
小結
第3章 主動規則的相關模型和規則說明語言
3.1 主動規則的知識模型
3.1.1 事件描述範疇
3.1.2 條件描述範疇
3.1.3 動作描述範疇
3.2 主動規則運行模型
3.3 主動規則管理模型
3.3.1 規則描述方式和操作
3.3.2 主動數據模型
3.4 主動規則管理器和事件管理器結構
3.4.1 主動規則管理器
3.4.2 事件管理器
小結
第4章 規則說明語言
4.1 規則說明語法
4.1.1 詞法的約定
4.1.2 E-C-A規則語法
4.2 規則說明
4.2.1 時間說明和操作模式說明
4.2.2 規則優先權說明
4.2.3 事件說明和條件說明
4.2.4 事件參數和系統參數說明
4.2.5 邏輯表達式和方法調用說明
4.2.6 動作說明
4.3 邏輯事件說明
4.3.1 邏輯事件的語義和邏輯條件說明
4.3.2 邏輯事件在E-C-A規則中的語義和規範說明
4.3.3 邏輯事件的上下文和參數中的上下文信息
小結
第5章 複合事件監測
5.1 事件的複合操作
5.2 利用事件圖監測複合事件
5.2.1 事件圖
5.2.2 事件圖複合事件的監測算法
5.3 約束環境下事件監測
5.3.1 約束環境
5.3.2 順序環境下複合事件監測算法
5.3.3 最近環境下複合事件監測算法
5.4 約束環境下事件監測舉例
5.4.1 Sequence操作符和AND操作符
5.4.2 OR操作符和NOT操作符
5.4.3 非周期操作符和Plus操作符
5.4.4 周期操作符
5.5 複雜條件及其評價
小結
第6章 基於圖的主動規則集終止性靜態分析
6.1 規則分析主動規則的三個特性
6.1.1 主動規則集分析
6.1.2 在編譯階段執行的主動規則集可終止性靜態分析
6.2 有向圖環路檢測算法
6.3 規則執行圖
6.4 基於觸發圖和活化圖的終止性分析
6.4.1 TG的建立方法
6.4.2 觸發圖的終止性分析定理
6.4.3 基於活化圖的終止性分析
6.5 基於觸發圖和活化圖的規則基本歸約算法
6.6 基於關聯圖G的終止性分析
小結
第7章 基於事務的規則終止性分析
7.1 基於進化圖EG的規則終止性分析
7.1.1 主動規則與程式和事務執行語義
7.1.2 抽象狀態
7.1.3 進化圖EG和創建算法
7.1.4 進化圖EG的規則終止性分析
7.2 利用事務進行規則終止性分析
7.2.1 創建精確進化圖REG算法
7.2.2 檢驗終止性
7.2.3 兩種分析方法之間的關係
小結
第8章 帶有規則優先權的終止性分析
8.1 數據模型和核心規則
8.1.1 主動資料庫的語義維度
8.1.2 數據模型和核心規則
8.1.3 規則的執行語義
8.2 主動/演繹的基本轉換
8.2.1 Datalog及其擴展
8.2.2 核心規則到邏輯規則的轉換
8.2.3 轉換圖
8.3 終止性分析
8.3.1 CORE+向Datalog的轉換
8.3.2 CORE向Datalog的轉換
小結
第9章 基於代數法的規則終止性分析
9.1 代數傳播算法
9.1.1 代數運算符
9.1.2 代數傳播算法
9.2 傳播算法的傳播規則
9.3 E-C-A規則和C-A規則的代數語言
9.3.1 E-C-A規則的代數語言
9.3.2 C-A規則的代數語言
9.4 C-A規則的活化關係分析
小結
第10章 基於活化路徑的分析方法
10.1 分析的基礎
10.1.1 可達概念的分析
10.1.2 活化路徑和活化路徑集
10.2 基於活化路徑和同步關係的分析方法
10.2.1 活化路徑同步執行對TG環執行的影響
10.2.2 有效活化路徑
10.2.3 算法描述及分析
10.3 相關條件公式的建立
10.3.1 TG環的執行序列建立條件公式
10.3.2 基於活化路徑的條件公式
10.4 基於活化路徑和條件公式的分析方法
10.4.1 禁止活化規則的判定定理
10.4.2 終止性判定算法描述及分析
小結
第11章 計算不可歸約規則集的算法
11.1 在運行階段執行的主動規則集可終止性動態分析
11.2 歸約算法的分析
……
第12章 監測規則集的最佳化算法
第13章 最小環的結構和監測的執行狀態的化簡
第14章 主動規則集匯流性分析和可觀察的確定性
第15章 主動資料庫中的依賴關係
第16章 規則依賴和事務依賴
第17章 規則執行
第18章 基於嵌套事務的規則並行執行模型
第19章 嵌套事務規則的並行控制和死鎖檢測
第20章 主動資料庫的完整性
參考文獻
前言
資料庫技術是在20世紀60年代末作為數據管理的最新技術登上數據處理舞台的。隨著計算機套用的不斷擴大，計算機硬體快速發展，資料庫技術也得到了迅速的發展。資料庫技術和計算機網路技術已成為當今世界計算機套用中兩個最重要的基礎領域。經過四十多年的發展，以數據模型的進展、變化為主線，出現了以層次模型和網狀模型為代表的層次資料庫和網狀資料庫的第一代資料庫。70年代末出現了以關係數據模型為代表的第二代資料庫——關係資料庫。80年代以來，由於非傳統套用領域的不斷擴大，針對一些特殊領域的套用提出了許多新的數據模型和許多新的數據管理要求功能，由於傳統資料庫不具備這種能力，因此出現了以面向對象資料庫為代表的新一代資料庫系統。工程資料庫、空間資料庫、時空資料庫、多媒體資料庫、時態資料庫、空值資料庫、無環資料庫等支持這些資料庫的數據模型都是基於關係數據模型的擴充或者是面向對象模型。
