本書以主動數據庫管理繫統的體繫結構、特征為主線，力求用通俗易懂的語言來較為全面、繫統地介紹以下內容：主動規則集的可終止性的靜態、動態分析、判定方法；規則執行時的彙流性分析、判定方法；主動數據庫中的依賴關繫；自依賴規則的判定理論；各種規則執行模式和事務、規則調度方法；主動數據庫的完整性等的相關概念、定義、引理、定理、算法及相應的證明。本書力求做到條理清晰、邏輯性強、易於理解。

●前言第1章 主動數據庫繫統概論第2章 主動數據庫管理繫統的體繫結構第3章 主動規則的相關模型和規則說明語言第4章 規則說明語言第5章 復合事件監測第6章 基於圖的主動規則集終止性靜態分析第7章 基於事務的規則終止性分析第8章 帶有規則優先級的終止性分析第9章 基於代數法的規則終止性分析第10章 基於活化路徑的分析方法第11章 計算不可歸約規則集的算法第12章 監測規則集的優化算法第13章 最小環的結構和監測的執行狀態的化簡第14章 主動規則集彙流性分析和可觀察的確定性第15章 主動數據庫中的依賴關繫第16章 規則依賴和事務依賴第17章 規則執行第18章 基於嵌套事務的規則並行執行模型第19章 嵌套事務規則的並行控制和死鎖檢測第20章 主動數據庫的完整性參考文獻

本書是在作者三十餘年來對主動數據庫繫統理論研究的基礎上撰寫的。書中繫統論述和分析了主動數據庫繫統理論以及若干新的概念、方法和算法。 本書共分二十章。主要內容包括：主動數據庫管理繫統的體繫結構、主動規則的相關模型及說明語言、事件監測，特別重點討論了基於觸發圖、活化圖、惰化圖、事務、規則優先級、活化路徑、代數等方法對主動規則集終止性、彙流性的靜態和動態分析，較詳細地給出了相關的定理、方法和算法及算法證明，深入地討論了規則執行和監測、主動數據庫完整性等。 本書可作為計算機科學與技術學科、控制理論與控制工程學科等相關專業的高年級本科生教材或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員等參考。

    第1章 主動數據庫繫統概論 在主動數據庫的研究中，已經出現了多種不同的繫統和模型。但是，什麼是主動數據庫繫統?什麼是主動數據庫管理繫統?在什麼情況下，我們可以說一個管理繫統是“主動”的。抽像地說，一個主動數據庫繫統是由主動數據庫管理繫統與一個具體的數據庫構成。主動數據庫繫統能對數據庫的情形自動地進行反應，並能指定繫統的反應行為。但這種定義不夠準確，而且，對“主動”一詞的解釋也沒有廣泛的一致看法。簡單地說，主動數據庫繫統（ADBS）就是將“被動的”數據庫繫統擴展成具有反應行為（reactive behavior）功能的數據庫繫統。從功能的角度來講，一個主動數據庫繫統是由一個傳統的數據庫繫統和一個事件驅動的知識庫以及相應的事件監測模塊組成，形式化地描述為 ADBS=DBS+EB+EM   &nbs等