主動數(shù)據(jù)庫系統(tǒng)理論基礎(chǔ)

前言
第1章 主動數(shù)據(jù)庫系統(tǒng)概論
1.1 基礎(chǔ)知識
1.1.1 主動規(guī)則
1.1.2 事務(wù)
1.1.3 事務(wù)歷史查詢
1.1.4 事件和事件表達(dá)式
1.1.5 事件的消耗模式和事件的組合
1.1.6 規(guī)則庫與事件庫
1.1.7 規(guī)則的粒度和耦合模式
1.2 幾個主動數(shù)據(jù)庫原型系統(tǒng)
1.2.1 基于關(guān)系數(shù)據(jù)模型的主動數(shù)據(jù)庫系統(tǒng)
1.2.2 基于面向?qū)ο髷?shù)據(jù)模型的主動數(shù)據(jù)庫系統(tǒng)
小結(jié)
第2章 主動數(shù)據(jù)庫管理系統(tǒng)的體系結(jié)構(gòu)
2.1 主動數(shù)據(jù)庫管理系統(tǒng)的特性
2.1.1 E-C-A規(guī)則定義特性
2.1.2 E-C-A規(guī)則執(zhí)行特性
2.1.3 ADBMS可用性和應(yīng)用特性
2.2 主動數(shù)據(jù)庫管理系統(tǒng)的體系結(jié)構(gòu)
2.2.1 輔助工具集成環(huán)境
2.2.2 執(zhí)行主動功能的部件
2.2.3 數(shù)據(jù)存儲部件
2.3 主動數(shù)據(jù)庫管理系統(tǒng)的實現(xiàn)途徑
小結(jié)
第3章 主動規(guī)則的相關(guān)模型和規(guī)則說明語言
3.1 主動規(guī)則的知識模型
3.1.1 事件描述范疇
3.1.2 條件描述范疇
3.1.3 動作描述范疇
3.2 主動規(guī)則運行模型
3.3 主動規(guī)則管理模型
3.3.1 規(guī)則描述方式和操作
3.3.2 主動數(shù)據(jù)模型
3.4 主動規(guī)則管理器和事件管理器結(jié)構(gòu)
3.4.1 主動規(guī)則管理器
3.4.2 事件管理器
小結(jié)
第4章 規(guī)則說明語言
4.1 規(guī)則說明語法
4.1.1 詞法的約定
4.1.2 E-C-A規(guī)則語法
4.2 規(guī)則說明
4.2.1 時間說明和操作模式說明
4.2.2 規(guī)則優(yōu)先級說明
4.2.3 事件說明和條件說明
4.2.4 事件參數(shù)和系統(tǒng)參數(shù)說明
4.2.5 邏輯表達(dá)式和方法調(diào)用說明
4.2.6 動作說明
4.3 邏輯事件說明
4.3.1 邏輯事件的語義和邏輯條件說明
4.3.2 邏輯事件在E-C-A規(guī)則中的語義和規(guī)范說明
4.3.3 邏輯事件的上下文和參數(shù)中的上下文信息
小結(jié)
第5章 復(fù)合事件監(jiān)測
5.1 事件的復(fù)合操作
5.2 利用事件圖監(jiān)測復(fù)合事件
5.2.1 事件圖
5.2.2 事件圖復(fù)合事件的監(jiān)測算法
5.3 約束環(huán)境下事件監(jiān)測
5.3.1 約束環(huán)境
5.3.2 順序環(huán)境下復(fù)合事件監(jiān)測算法
5.3.3 最近環(huán)境下復(fù)合事件監(jiān)測算法
5.4 約束環(huán)境下事件監(jiān)測舉例
5.4.1 Sequence操作符和AND操作符
5.4.2 OR操作符和NOT操作符
5.4.3 非周期操作符和Plus操作符
5.4.4 周期操作符
5.5 復(fù)雜條件及其評價
小結(jié)
第6章 基于圖的主動規(guī)則集終止性靜態(tài)分析
6.1 規(guī)則分析主動規(guī)則的三個特性
6.1.1 主動規(guī)則集分析
6.1.2 在編譯階段執(zhí)行的主動規(guī)則集可終止性靜態(tài)分析
6.2 有向圖環(huán)路檢測算法
6.3 規(guī)則執(zhí)行圖
6.4 基于觸發(fā)圖和活化圖的終止性分析
6.4.1 TG的建立方法
6.4.2 觸發(fā)圖的終止性分析定理
6.4.3 基于活化圖的終止性分析
6.5 基于觸發(fā)圖和活化圖的規(guī)則基本歸約算法
6.6 基于關(guān)聯(lián)圖G的終止性分析
小結(jié)
第7章 基于事務(wù)的規(guī)則終止性分析
7.1 基于進(jìn)化圖EG的規(guī)則終止性分析
7.1.1 主動規(guī)則與程序和事務(wù)執(zhí)行語義
7.1.2 抽象狀態(tài)
7.1.3 進(jìn)化圖EG和創(chuàng)建算法
7.1.4 進(jìn)化圖EG的規(guī)則終止性分析
7.2 利用事務(wù)進(jìn)行規(guī)則終止性分析
7.2.1 創(chuàng)建精確進(jìn)化圖REG算法
7.2.2 檢驗終止性
7.2.3 兩種分析方法之間的關(guān)系
小結(jié)
第8章 帶有規(guī)則優(yōu)先級的終止性分析
8.1 數(shù)據(jù)模型和核心規(guī)則
8.1.1 主動數(shù)據(jù)庫的語義維度
8.1.2 數(shù)據(jù)模型和核心規(guī)則
8.1.3 規(guī)則的執(zhí)行語義
8.2 主動／演繹的基本轉(zhuǎn)換
8.2.1 Datalog及其擴(kuò)展
8.2.2 核心規(guī)則到邏輯規(guī)則的轉(zhuǎn)換
8.2.3 轉(zhuǎn)換圖
8.3 終止性分析
8.3.1 CORE＋向Datalog的轉(zhuǎn)換
8.3.2 CORE向Datalog的轉(zhuǎn)換
小結(jié)
第9章 基于代數(shù)法的規(guī)則終止性分析
9.1 代數(shù)傳播算法
9.1.1 代數(shù)運算符
9.1.2 代數(shù)傳播算法
9.2 傳播算法的傳播規(guī)則
9.3 E-C-A規(guī)則和C-A規(guī)則的代數(shù)語言
9.3.1 E-C-A規(guī)則的代數(shù)語言
9.3.2 C-A規(guī)則的代數(shù)語言
9.4 C-A規(guī)則的活化關(guān)系分析
小結(jié)
第10章 基于活化路徑的分析方法
10.1 分析的基礎(chǔ)
10.1.1 可達(dá)概念的分析
10.1.2 活化路徑和活化路徑集
10.2 基于活化路徑和同步關(guān)系的分析方法
10.2.1 活化路徑同步執(zhí)行對TG環(huán)執(zhí)行的影響
10.2.2 有效活化路徑
10.2.3 算法描述及分析
10.3 相關(guān)條件公式的建立
10.3.1 TG環(huán)的執(zhí)行序列建立條件公式
10.3.2 基于活化路徑的條件公式
10.4 基于活化路徑和條件公式的分析方法
10.4.1 禁止活化規(guī)則的判定定理
10.4.2 終止性判定算法描述及分析
小結(jié)
第11章 計算不可歸約規(guī)則集的算法
11.1 在運行階段執(zhí)行的主動規(guī)則集可終止性動態(tài)分析
11.2 歸約算法的分析
……
第12章 監(jiān)測規(guī)則集的優(yōu)化算法
第13章 最小環(huán)的結(jié)構(gòu)和監(jiān)測的執(zhí)行狀態(tài)的化簡
第14章 主動規(guī)則集匯流性分析和可觀察的確定性
第15章 主動數(shù)據(jù)庫中的依賴關(guān)系
第16章 規(guī)則依賴和事務(wù)依賴
第17章 規(guī)則執(zhí)行
第18章 基于嵌套事務(wù)的規(guī)則并行執(zhí)行模型
第19章 嵌套事務(wù)規(guī)則的并行控制和死鎖檢測
第20章 主動數(shù)據(jù)庫的完整性
參考文獻(xiàn)