數據庫事務（一）
概述
數據庫事務(Database Transaction) ，是指作爲單個邏輯工作單元執行的一系列操作。 事務處理可以確保除非事務性單元內的所有操作都成功完成，否則不會永久更新面向數據的資源。通過將一組相關操作組合爲一個要麼全部成功要麼全部失敗的單元，可以簡化錯誤恢復並使應用程序更加可靠。一個邏輯工作單元要成爲事務，必須滿足所謂的ACID(原子性、一致性、隔離性和持久性)屬性。
操作流程
設想網上購物的一次交易，其付款過程至少包括以下幾步數據庫操作：
· 更新客戶所購商品的庫存信息
· 保存客戶付款信息--可能包括與銀行系統的交互
· 生成訂單並且保存到數據庫中
· 更新用戶相關信息，例如購物數量等等
正常的情況下，這些操作將順利進行，最終交易成功，與交易相關的所有數據庫信息也成功地更新。但是，如果在這一系列過程中任何一個環節出了差錯，例如在更新商品庫存信息時發生異常、該顧客銀行帳戶存款不足等，都將導致交易失敗。一旦交易失敗，數據庫中所有信息都必須保持交易前的狀態不變，比如最後一步更新用戶信息時失敗而導致交易失敗，那麼必須保證這筆失敗的交易不影響數據庫的狀態--庫存信息沒有被更新、用戶也沒有付款，訂單也沒有生成。否則，數據庫的信息將會一片混亂而不可預測。
數據庫事務正是用來保證這種情況下交易的平穩性和可預測性的技術。
數據庫事務的ACID屬性
原子性（atomic）
事務必須是原子工作單元；對於其數據修改，要麼全都執行，要麼全都不執行。通常，與某個事務關聯的操作具有共同的目標，並且是相互依賴的。如果系統只執行這些操作的一個子集，則可能會破壞事務的總體目標。原子性消除了系統處理操作子集的可能性。
一致性（consistent）
事務在完成時，必須使所有的數據都保持一致狀態。在相關數據庫中，所有規則都必須應用於事務的修改，以保持所有數據的完整性。事務結束時，所有的內部數據結構（如 B 樹索引或雙向鏈表）都必須是正確的。某些維護一致性的責任由應用程序開發人員承擔，他們必須確保應用程序已強制所有已知的完整性約束。例如，當開發用於轉帳的應用程序時，應避免在轉帳過程中任意移動小數點。
隔離性（insulation）
由併發事務所作的修改必須與任何其它併發事務所作的修改隔離。事務查看數據時數據所處的狀態，要麼是另一併發事務修改它之前的狀態，要麼是另一事務修改它之後的狀態，事務不會查看中間狀態的數據。這稱爲可串行性，因爲它能夠重新裝載起始數據，並且重播一系列事務，以使數據結束時的狀態與原始事務執行的狀態相同。當事務可序列化時將獲得最高的隔離級別。在此級別上，從一組可並行執行的事務獲得的結果與通過連續運行每個事務所獲得的結果相同。由於高度隔離會限制可並行執行的事務數，所以一些應用程序降低隔離級別以換取更大的吞吐量。防止數據丟失
持久性(durability）
事務完成之後，它對於系統的影響是永久性的。該修改即使出現致命的系統故障也將一直保持。