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

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

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

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