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

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

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

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