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

前言
第1章 主動(dòng)數(shù)據(jù)庫(kù)系統(tǒng)概論
1.1 基礎(chǔ)知識(shí)
1.1.1 主動(dòng)規(guī)則
1.1.2 事務(wù)
1.1.3 事務(wù)歷史查詢(xún)
1.1.4 事件和事件表達(dá)式
1.1.5 事件的消耗模式和事件的組合
1.1.6 規(guī)則庫(kù)與事件庫(kù)
1.1.7 規(guī)則的粒度和耦合模式
1.2 幾個(gè)主動(dòng)數(shù)據(jù)庫(kù)原型系統(tǒng)
1.2.1 基于關(guān)系數(shù)據(jù)模型的主動(dòng)數(shù)據(jù)庫(kù)系統(tǒng)
1.2.2 基于面向?qū)ο髷?shù)據(jù)模型的主動(dòng)數(shù)據(jù)庫(kù)系統(tǒng)
小結(jié)
第2章 主動(dòng)數(shù)據(jù)庫(kù)管理系統(tǒng)的體系結(jié)構(gòu)
2.1 主動(dòng)數(shù)據(jù)庫(kù)管理系統(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 主動(dòng)數(shù)據(jù)庫(kù)管理系統(tǒng)的體系結(jié)構(gòu)
2.2.1 輔助工具集成環(huán)境
2.2.2 執(zhí)行主動(dòng)功能的部件
2.2.3 數(shù)據(jù)存儲(chǔ)部件
2.3 主動(dòng)數(shù)據(jù)庫(kù)管理系統(tǒng)的實(shí)現(xiàn)途徑
小結(jié)
第3章 主動(dòng)規(guī)則的相關(guān)模型和規(guī)則說(shuō)明語(yǔ)言
3.1 主動(dòng)規(guī)則的知識(shí)模型
3.1.1 事件描述范疇
3.1.2 條件描述范疇
3.1.3 動(dòng)作描述范疇
3.2 主動(dòng)規(guī)則運(yùn)行模型
3.3 主動(dòng)規(guī)則管理模型
3.3.1 規(guī)則描述方式和操作
3.3.2 主動(dòng)數(shù)據(jù)模型
3.4 主動(dòng)規(guī)則管理器和事件管理器結(jié)構(gòu)
3.4.1 主動(dòng)規(guī)則管理器
3.4.2 事件管理器
小結(jié)
第4章 規(guī)則說(shuō)明語(yǔ)言
4.1 規(guī)則說(shuō)明語(yǔ)法
4.1.1 詞法的約定
4.1.2 E-C-A規(guī)則語(yǔ)法
4.2 規(guī)則說(shuō)明
4.2.1 時(shí)間說(shuō)明和操作模式說(shuō)明
4.2.2 規(guī)則優(yōu)先級(jí)說(shuō)明
4.2.3 事件說(shuō)明和條件說(shuō)明
4.2.4 事件參數(shù)和系統(tǒng)參數(shù)說(shuō)明
4.2.5 邏輯表達(dá)式和方法調(diào)用說(shuō)明
4.2.6 動(dòng)作說(shuō)明
4.3 邏輯事件說(shuō)明
4.3.1 邏輯事件的語(yǔ)義和邏輯條件說(shuō)明
4.3.2 邏輯事件在E-C-A規(guī)則中的語(yǔ)義和規(guī)范說(shuō)明
4.3.3 邏輯事件的上下文和參數(shù)中的上下文信息
小結(jié)
第5章 復(fù)合事件監(jiān)測(cè)
5.1 事件的復(fù)合操作
5.2 利用事件圖監(jiān)測(cè)復(fù)合事件
5.2.1 事件圖
5.2.2 事件圖復(fù)合事件的監(jiān)測(cè)算法
5.3 約束環(huán)境下事件監(jiān)測(cè)
5.3.1 約束環(huán)境
5.3.2 順序環(huán)境下復(fù)合事件監(jiān)測(cè)算法
5.3.3 最近環(huán)境下復(fù)合事件監(jiān)測(cè)算法
5.4 約束環(huán)境下事件監(jiān)測(cè)舉例
5.4.1 Sequence操作符和AND操作符
5.4.2 OR操作符和NOT操作符
5.4.3 非周期操作符和Plus操作符
5.4.4 周期操作符
5.5 復(fù)雜條件及其評(píng)價(jià)
小結(jié)
第6章 基于圖的主動(dòng)規(guī)則集終止性靜態(tài)分析
6.1 規(guī)則分析主動(dòng)規(guī)則的三個(gè)特性
6.1.1 主動(dòng)規(guī)則集分析
6.1.2 在編譯階段執(zhí)行的主動(dòng)規(guī)則集可終止性靜態(tài)分析
6.2 有向圖環(huán)路檢測(cè)算法
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 主動(dòng)規(guī)則與程序和事務(wù)執(zhí)行語(yǔ)義
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 檢驗(yàn)終止性
7.2.3 兩種分析方法之間的關(guān)系
小結(jié)
第8章 帶有規(guī)則優(yōu)先級(jí)的終止性分析
8.1 數(shù)據(jù)模型和核心規(guī)則
8.1.1 主動(dòng)數(shù)據(jù)庫(kù)的語(yǔ)義維度
8.1.2 數(shù)據(jù)模型和核心規(guī)則
8.1.3 規(guī)則的執(zhí)行語(yǔ)義
8.2 主動(dòng)／演繹的基本轉(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ù)運(yùn)算符
9.1.2 代數(shù)傳播算法
9.2 傳播算法的傳播規(guī)則
9.3 E-C-A規(guī)則和C-A規(guī)則的代數(shù)語(yǔ)言
9.3.1 E-C-A規(guī)則的代數(shù)語(yǔ)言
9.3.2 C-A規(guī)則的代數(shù)語(yǔ)言
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í)行對(duì)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章 計(jì)算不可歸約規(guī)則集的算法
11.1 在運(yùn)行階段執(zhí)行的主動(dòng)規(guī)則集可終止性動(dòng)態(tài)分析
11.2 歸約算法的分析
……
第12章 監(jiān)測(cè)規(guī)則集的優(yōu)化算法
第13章 最小環(huán)的結(jié)構(gòu)和監(jiān)測(cè)的執(zhí)行狀態(tài)的化簡(jiǎn)
第14章 主動(dòng)規(guī)則集匯流性分析和可觀(guān)察的確定性
第15章 主動(dòng)數(shù)據(jù)庫(kù)中的依賴(lài)關(guān)系
第16章 規(guī)則依賴(lài)和事務(wù)依賴(lài)
第17章 規(guī)則執(zhí)行
第18章 基于嵌套事務(wù)的規(guī)則并行執(zhí)行模型
第19章 嵌套事務(wù)規(guī)則的并行控制和死鎖檢測(cè)
第20章 主動(dòng)數(shù)據(jù)庫(kù)的完整性
參考文獻(xiàn)