掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
主動數據庫系統理論基礎 版權信息
- ISBN：9787030233646
- 條形碼：9787030233646 ; 978-7-03-023364-6
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
主動數據庫系統理論基礎 內容簡介
本書是在作者三十余年來對主動數據庫系統理論研究的基礎上撰寫的。書中系統論述和分析了主動數據庫系統理論以及若干新的概念、方法和算法。
本書共分二十章。主要內容包括：主動數據庫管理系統的體系結構、主動規則的相關模型及說明語言、事件監測，特別重點討論了基于觸發圖、活化圖、惰化圖、事務、規則優先級、活化路徑、代數等方法對主動規則集終止性、匯流性的靜態和動態分析，較詳細地給出了相關的定理、方法和算法及算法證明，深入地討論了規則執行和監測、主動數據庫完整性等。
本書可作為計算機科學與技術學科、控制理論與控制工程學科等相關專業的高年級本科生教材或碩士生選修課教材，也可供從事上述領域研究的博士生、科研人員及工程技術人員等參考。
主動數據庫系統理論基礎 目錄
前言
第1章 主動數據庫系統概論
第2章 主動數據庫管理系統的體系結構
第3章 主動規則的相關模型和規則說明語言
第4章 規則說明語言
第5章 復合事件監測
第6章 基于圖的主動規則集終止性靜態分析
第7章 基于事務的規則終止性分析
第8章 帶有規則優先級的終止性分析
第9章 基于代數法的規則終止性分析
第10章 基于活化路徑的分析方法
第11章 計算不可歸約規則集的算法
第12章 監測規則集的優化算法
第13章 *小環的結構和監測的執行狀態的化簡
第14章 主動規則集匯流性分析和可觀察的確定性
第15章 主動數據庫中的依賴關系
第16章 規則依賴和事務依賴
第17章 規則執行
第18章 基于嵌套事務的規則并行執行模型
第19章 嵌套事務規則的并行控制和死鎖檢測
第20章 主動數據庫的完整性
參考文獻
第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
其中，DBS是用來存儲、維護、管理數據的傳統數據庫系統；EB是一個由事件驅動的知識庫，其中每一項知識表示在相應的事件發生時，如何（何時、何地）來主動地執行用戶預先定義的動作；EM是在數據庫應用程序運行的過程中，監測數據庫的狀態變化，一旦EB中定義的事件發生時就主動地觸發系統，按EB中指明的相應知識執行其中預先定義的動作，從而實現主動功能。由此可見，主動數據庫的知識庫（或規則庫）是實現主動功能的關鍵，EB中知識表示不同，也就決定了不同的主動功能的實現。主動數據庫的主要設計思想是要用一種統一而方便的機制來實現對應用主動性功能的需求，即使得系統能用統一的方法把各種主動服務功能與數據庫系統集成在一起，利于軟件的模塊化和軟件重用，同時也增強了數據庫系統的自我支持能力。
……
書友推薦
- >
山海經
- >
自卑與超越
- >
羅庸西南聯大授課錄
- >
苦雨齋序跋文-周作人自編集
- >
二體千字文
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
龍榆生：詞曲概論/大家小書
- >
月亮虎
本類暢銷
