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

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

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