嵌入式實時數(shù)據(jù)庫中的時態(tài)一致性維護.pdf

1、時間是宇宙中無所不在的特性，所有的信息都應(yīng)該具有相應(yīng)的時態(tài)屬性。然而傳統(tǒng)的數(shù)據(jù)庫都是固定的“當(dāng)前視圖”，即在數(shù)據(jù)庫中的信息是其在某一個時刻的瞬像，但是卻認為是當(dāng)前的，這對于現(xiàn)代應(yīng)用來說還遠遠不夠。在某些系統(tǒng)中，如數(shù)據(jù)通信、交通指揮、證券與股票交易、作戰(zhàn)指揮自動化等信息的時態(tài)還起著關(guān)鍵的作用。它們所處理的數(shù)據(jù)往往是“短暫”的，即在一定的時間范圍內(nèi)有效，過時則無意義。 嵌入式實時數(shù)據(jù)庫（ARTs-EDB）是一個嵌入式的主動實時數(shù)據(jù)庫

2、，以內(nèi)存數(shù)據(jù)庫（MMDB）做底層支持，MMDB事務(wù)在運行過程中沒有內(nèi)外存數(shù)據(jù)I/O。ARTs-EDB設(shè)計的多線程模塊化的線程結(jié)構(gòu)適應(yīng)嵌入式微內(nèi)核的結(jié)構(gòu)，具有靈活、快速和移植性好的特點，是整個系統(tǒng)構(gòu)建的基礎(chǔ)。 ARTs-EDB事務(wù)的定時限制是由事務(wù)的截止期體現(xiàn)的，事務(wù)的截止期要求事務(wù)必須在它的截止期之前完成，否則事務(wù)對數(shù)據(jù)庫產(chǎn)生的影響可能是有害的。而數(shù)據(jù)的定時限制是通過數(shù)據(jù)的采集時間（sampling time）和數(shù)據(jù)的時間有效區(qū)

3、間（temporal validity interval）來體現(xiàn)的。到目前為止，關(guān)于嵌入式實時數(shù)據(jù)庫的研究大多集中在如何滿足事務(wù)的截止期（deadline），而對數(shù)據(jù)的定時限制則考慮的較少。 ARTs-EDB中的事務(wù)和數(shù)據(jù)都具有顯示的定時限制。系統(tǒng)的正確性不僅依賴事務(wù)執(zhí)行的邏輯結(jié)果，還依賴于邏輯結(jié)果產(chǎn)生的時間。ARTs-EDB不但要考慮數(shù)據(jù)庫內(nèi)部狀態(tài)的一致性，還要考慮數(shù)據(jù)庫外部狀態(tài)與內(nèi)部狀態(tài)的一致性，數(shù)據(jù)自身的時間一致性，以及數(shù)