事務是一個程式執行單元，它訪問且可能更新不同的數據項。事務對於實現資料庫中的數據更新是很關鍵的，只有這樣才能保證併發執行與各種故障不會導致資料庫處於不一致狀態。一、事務具有ACID特性：即原子性、一致性、隔離性和持久性原子性保證事務的所有影響在資料庫中要麼全部反映出來，要麼根本不反映。發生故障後數據 ...
事務是一個程式執行單元，它訪問且可能更新不同的數據項。事務對於實現資料庫中的數據更新是很關鍵的，只有這樣才能保證併發執行與各種故障不會導致資料庫處於不一致狀態。
一、事務具有ACID特性：即原子性、一致性、隔離性和持久性
原子性保證事務的所有影響在資料庫中要麼全部反映出來，要麼根本不反映。發生故障後資料庫不能處於事物部分執行後的狀態。
一致性保證若資料庫一開始是一致的，則事務執行後資料庫仍處於一致狀態。
隔離性保證併發執行的事務相互隔離，使得每個事務感覺不到系統中其它事務的併發執行。
持久性保證一旦一個事務提交後，它對資料庫的改變不會丟失，即使系統可能出現故障。
二、事務的併發執行提高了事務的吞吐量和系統利用率，也減少了事務的等待時間。
但多個事務在資料庫中併發執行時，可能無法再保證數據的一致性。因此系統必須控制各併發事務之間的相互作用。
由於事務是保持一致性的單元，所以事務的串列執行能保證一致性。串列調度是可串列化的，但如果許多事務的步驟交錯執行，則很難確定一個調度是否是可串列化的。確定一個事務有哪些操作、多個事務的操作如何相互作用是比較困難的。所以，通常不會考慮一個事務對某一數據項的的所有細節操作，而只考慮兩種操作：read和write。
要求事務集的併發執行所產生的任何調度的執行效果等價於由這些事務按某種串列順序執行的效果，保證這個特性的系統稱為保證了可串列化。考慮一個調度S含有I，J兩條指令，只有I和J全為read指令時，兩條指令的執行順序才是無關緊要的，而只要有至少一條是write指令時，I和J是衝突的。
如果調度S可以經過一系列非衝突指令交換轉換成S1，則稱S1是S的衝突等價。存在幾種不同的等價概念，所以可串列化分為了衝突可串列化和視圖可串列化。
三、事務併發執行所產生的調度的可串列化可以通過多種併發控制機制中的一種來加以保證。給定一個調度，可以通過為該調度構造優先圖及搜索是否無環來判定它是否衝突可串列化。還有更好的併發控制機制可用來保證可串列化。
調度必須是可恢復的，這樣如果事務a依賴於事務b，如果b中止時，a也要中止。調度也最好是無級聯的，這樣不會由於一個事務的中止引起其它事務的級聯中止。無級聯性是通過只允許事務讀取已經提交的數據來保證的。
學習資料：Database System Concepts, by Abraham Silberschatz, Henry F.Korth, S.Sudarshan
