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

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

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

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