嵌入式主動實時數(shù)據(jù)庫系統(tǒng)的主動機制.pdf

1、實時數(shù)據(jù)庫是其事務和數(shù)據(jù)都可以具有定時限制的或顯式的定時限制的數(shù)據(jù)庫系統(tǒng).系統(tǒng)的正確性不僅依賴于邏輯結果,而且還依賴于邏輯結果產(chǎn)生的時間.在實時數(shù)據(jù)庫系統(tǒng)中集成主動數(shù)據(jù)庫的規(guī)則,使實時數(shù)據(jù)庫具有主動特性,能夠根據(jù)系統(tǒng)運行現(xiàn)場的情況進行自動切換處理,是實時主動數(shù)據(jù)庫系統(tǒng)研究的主要內(nèi)容.以自主研制開發(fā)的嵌入式實時主動數(shù)據(jù)庫管理系統(tǒng)ARTs-EDB為對象,深入的研究與探討了支持嵌入式實時數(shù)據(jù)庫的主動機制的設計與實現(xiàn)問題.首先介紹具有實時主動特

2、性的ARTs-EDB的體系結構,ARTs-EDB中主動機制的體系結構和主動機制的執(zhí)行模型,及主動機制的主要模塊與ARTs-EDB中其它子系統(tǒng)的接口.其次在介紹主動機制的規(guī)則、實現(xiàn)方法和執(zhí)行模式等概念的基礎上詳細闡述了對于主動機制中不同類型的事件的探測方法,尤其是時間事件和復合事件探測問題所進行的研究.根據(jù)按照類型建立索引的事件庫,高效完成了基本事件的探測與處理,時間事件的處理是主動實時數(shù)據(jù)庫定時限制實現(xiàn)的關鍵,重點給出了時間事件處理的方

3、法,它也是時間條件評價的基礎;詳細討論了復合事件的探測與處理;也系統(tǒng)地描述了主動規(guī)則的靜態(tài)分析的相關概念并提出了改進的主動規(guī)則靜態(tài)分析的算法.重點討論了觸發(fā)器條件評價以及執(zhí)行的問題.ARTs-EDB的觸發(fā)器采用S-A模型.根據(jù)條件的描述,詳細分析了條件評價的實現(xiàn);為了提高系統(tǒng)的性能,利用數(shù)據(jù)庫系統(tǒng)的嵌套事務模型,分析設計了有效的觸發(fā)器執(zhí)行模型,該模型不僅支持觸發(fā)器的順序執(zhí)行,也支持觸發(fā)器的并行執(zhí)行;根據(jù)觸發(fā)器的執(zhí)行模型以及執(zhí)行原則,實現(xiàn)