事務(wù)處理(數(shù)據(jù)庫)

時間：2022-11-12 06:30:02 | 來源：信息時代

時間：2022-11-12 06:30:02 來源：信息時代

    事務(wù)處理 : 為確保數(shù)據(jù)庫的正確而對數(shù)據(jù)庫事務(wù)進(jìn)行的調(diào)度和控制。在多個事務(wù)并發(fā)執(zhí)行時,確保數(shù)據(jù)庫正確的功能稱為并發(fā)控制; 在出現(xiàn)故障的情況下,能將數(shù)據(jù)庫恢復(fù)到正確狀態(tài)的功能稱為故障恢復(fù)。事務(wù)是數(shù)據(jù)庫系統(tǒng)的基本運行單位。在數(shù)據(jù)庫應(yīng)用中,某些數(shù)據(jù)庫操作之間存在語義上的關(guān)聯(lián),它們必須作為一個整體存在。事務(wù)的執(zhí)行能夠保證數(shù)據(jù)庫從一個正確的狀態(tài)轉(zhuǎn)移到另一個正確的狀態(tài)。例如,客戶去銀行轉(zhuǎn)賬,將1000元錢從賬戶A轉(zhuǎn)到賬戶B去。這里有兩個操作,一是從賬戶A減去1000元,一是在賬戶B上增加1000元。顯然,這兩個操作必須作為一個整體,否則,就可能會出現(xiàn)賬不平的情況。
在數(shù)據(jù)庫出現(xiàn)以前,應(yīng)用程序自身要負(fù)責(zé)維護(hù)操作之間的語義關(guān)聯(lián)性。對于單用戶而言,要做到這一點并不困難。例如,可以在修改某個數(shù)據(jù)之前,首先在磁盤上記錄該數(shù)據(jù)修改前的狀態(tài),然后更新數(shù)據(jù),如果更新成功了,簡單地丟棄保存的修改前的狀態(tài)就可以了。如果由于種種原因修改失敗,只要將事先保存的狀態(tài)寫回到磁盤文件上去就可以了(相當(dāng)于恢復(fù)到修改前的狀態(tài))。但是,在一個多用戶計算機(jī)系統(tǒng)下,由于多個程序之間的相互干擾,使得由應(yīng)用程序自身來完成這件事情變得不可能。這一需求催生了數(shù)據(jù)庫事務(wù)處理技術(shù),以及事務(wù)處理理論的發(fā)展,成為數(shù)據(jù)庫系統(tǒng)中最為成功的部件之一。隨著網(wǎng)絡(luò)技術(shù)的普及,特別是跨數(shù)據(jù)庫平臺的分布式應(yīng)用系統(tǒng)的發(fā)展,數(shù)據(jù)庫事務(wù)管理已經(jīng)不再是數(shù)據(jù)庫內(nèi)部維持?jǐn)?shù)據(jù)正確性的工具,也成為跨數(shù)據(jù)庫平臺的分布應(yīng)用保持?jǐn)?shù)據(jù)正確性的有效工具,出現(xiàn)了稱之為事務(wù)中間件的新的軟件系統(tǒng),成為現(xiàn)代信息系統(tǒng)不可或缺的重要組成部件。
事務(wù)作為數(shù)據(jù)庫管理系統(tǒng)的核心概念,是維護(hù)數(shù)據(jù)庫正確性的基礎(chǔ)。因此,無論是理論還是實現(xiàn)技術(shù)都得到了完美的發(fā)展,為數(shù)據(jù)庫技術(shù)的大規(guī)模應(yīng)用提供了堅實的基礎(chǔ)。但是,隨著技術(shù)的進(jìn)步,事務(wù)的概念也一樣遇到新的挑戰(zhàn)。在數(shù)據(jù)庫事務(wù)理論以及事務(wù)系統(tǒng)實現(xiàn)方面做出重要貢獻(xiàn)并因此獲得圖靈獎的前微軟研究院研究員吉姆·格雷在SIGMOD2006會議報告上舉了一個有趣的例子: 一個由兩個燈泡組成的紅綠燈,現(xiàn)在有兩個事務(wù): 事務(wù)A將全部的紅燈變?yōu)榫G燈,而事務(wù)B相反,將全部的綠燈變?yōu)榧t燈。假定紅綠燈的初始狀態(tài)為左紅右綠。那么按照目前的事務(wù)理論,在執(zhí)行了事務(wù)A和B之后,正確的結(jié)果只能是全部為綠(先執(zhí)行事務(wù)B再執(zhí)行事務(wù)A)或者全部為紅(先執(zhí)行事務(wù)A再執(zhí)行事務(wù)B)。為什么不能是左綠右紅這樣的結(jié)果呢?這在現(xiàn)實世界中是完全合理的一個狀態(tài),在目前的事務(wù)理論下無法得到解釋,這個例子為研究者提出了新的挑戰(zhàn)。最近,如何將事務(wù)的概念引入到互聯(lián)網(wǎng)環(huán)境下的Web服務(wù)系統(tǒng)以及網(wǎng)格(gird)系統(tǒng)中,也引起了人們的廣泛興趣,提出了Web服務(wù)事務(wù)(Web service transaction)和網(wǎng)格事務(wù)(grid transaction)等現(xiàn)代事務(wù)模型的研究。