數據庫——事務

目錄：

1.事務的定義

2.事務的ACID性質

 

1.事務的定義

從用戶觀點看，對數據庫的某些操做應是一個總體，也就是一個獨立的工做單元，不能分割。

定義：事務是構成單一邏輯工做單元的操做集合，要麼完整地執行，要麼徹底不執行。不論發生何種狀況，DBS必須保證事務能正確、完整地執行。

DBS的主要意圖是執行「事務」。事務是數據庫環境中的一個邏輯工做單元，至關於操做系統環境中的「進程概念」。一個事務由應用程序中的一組操做序列組成，在程序中，事務以BEGIN TRANSCATION語句開始，以COMMIT語句或ROLLBACK語句結束。

過程：

COMMIT語句表示事務執行成功地結束（提交），此時告訴系統，數據庫要進入一個新的正確狀態，該事務對數據庫的全部更新都已交付實施（寫入磁盤）。ROLLBACK語句表示事務執行不成功地結束（應該「回退」），此時告訴系統，已發生錯誤，數據庫可能處在不正確的狀態，該事務對數據庫的全部更新必須被撤銷，數據庫應恢復該事務到初始狀態。

對數據庫的訪問是創建在讀和寫兩個操做的基礎上的：

①read（X）：把數據X從磁盤的數據庫中讀到內存的緩衝區上。

②write（X）：把數據X從內存緩衝區中寫回磁盤的數據庫中

須要注意：在系統運行時，write操做未必致使數據當即寫回磁盤，極可能先暫存在內存緩衝區中，稍後再寫回磁盤。

2.事務的ACID性質

①原子性（Atomicity）：一個事務對數據庫的全部操做，是一個不可分割的工做單元。要麼操做所有執行，要麼什麼也不作。

②一致性（Consistency）：一個事務獨立執行的結果，應保持數據庫的一致性，即數據不會因事務的執行而操守破壞。

③隔離性（Isolation）：在多個事務併發執行時，系統應保證與這些事務前後單獨執行時的結果同樣，此時成事務達到了隔離性的要求。

④持久性（Durability）：一個事物一旦完成所有操做後，它對數據庫的全部更新應永久的反應在數據庫中，不會丟失。即便之後系統發生故障，也是如此。