《主動數據庫係統理論基礎》是在作者三十餘年來對主動數據庫係統理論研究的基礎上撰寫的。書中係統論述和分析瞭主動數據庫係統理論以及若乾新的概念、方法和算法。《主動數據庫係統理論基礎》共分二十章。主要內容包括:主動數據庫管理係統的體係結構、主動規則的相關模型及說明語言、事件監測,特彆重點討論瞭基於觸發圖、活化圖、惰化圖、事務、規則優先級、活化路徑、代數等方法對主動規則集終止性、匯流性的靜態和動態分析,較詳細地給齣瞭相關的定理、方法和算法及算法證明,深入地討論瞭規則執行和監測、主動數據庫完整性等。
發表於2024-11-25
主動數據庫係統理論基礎 2024 pdf epub mobi 電子書 下載
圖書標籤:
主動數據庫係統理論基礎 2024 pdf epub mobi 電子書 下載