基于時態(tài)數(shù)據(jù)庫的事務計算關(guān)鍵技術(shù)研究及應用.pdf

1、隨著全省審計業(yè)務的不斷發(fā)展，審計范圍的不斷擴大，原來構(gòu)建的以單一審計業(yè)務信息化為目標的審計數(shù)據(jù)庫，已經(jīng)無法滿足審計業(yè)務需要，迫切需要進行升級，構(gòu)建能夠同時支持多個審計業(yè)務審計的統(tǒng)一審計數(shù)據(jù)中心，通過該數(shù)據(jù)中心可以把審計廳近年來獲得的被審單位原始數(shù)據(jù)進行有效的整合，為進一步構(gòu)建財務審計、社保審計、公積金審計、稅務審計、醫(yī)院等計算機審計業(yè)務奠定數(shù)據(jù)基礎。因此，建設一個整合各行業(yè)審計數(shù)據(jù)的，能良好運行的審計數(shù)據(jù)中心，是審計事業(yè)發(fā)展的必然趨勢。

2、
　　本文總結(jié)時態(tài)數(shù)據(jù)庫和事務計算技術(shù)的研究現(xiàn)狀以及成果的基礎上，針對審計數(shù)據(jù)中心的特點，討論了原有的基于非時態(tài)數(shù)據(jù)的審計方法轉(zhuǎn)移到具有時態(tài)屬性的審計數(shù)據(jù)中心語義變化的問題，以及審計數(shù)據(jù)中心事務并發(fā)調(diào)度的解決方法。本文通過給出時態(tài)關(guān)系的定義以及等價變換規(guī)則，將關(guān)系代數(shù)轉(zhuǎn)成語法樹，提出用啟發(fā)式搜索的思想來進行等價代換的選擇。最終以等價代換結(jié)果來判斷兩個時態(tài)關(guān)系代數(shù)的等價性，從而判斷非時態(tài)SQL是否保持原有語義。通過給出一個保證事務時