資料庫交易

數據庫事務（簡稱：事務）是數據庫管理系統執行過程中的一個邏輯單位，由一個有限的數據庫操作序列構成。

概要

數據庫事務通常包含了一個序列的對數據庫的讀/寫操作。包含有以下兩個目的：

1. 為數據庫操作序列提供了一個從失敗中恢復到正常狀態的方法，同時提供了數據庫即使在異常狀態下仍能保持一致性的方法。
2. 當多個應用程序在並發訪問數據庫時，可以在這些應用程序之間提供一個隔離方法，以防止彼此的操作互相干擾。

當事務被提交給了數據庫管理系統（DBMS），則DBMS需要確保該事務中的所有操作都成功完成且其結果被永久保存在數據庫中，如果事務中有的操作沒有成功完成，則事務中的所有操作都需要回滾，回到事務執行前的狀態；同時，該事務對數據庫或者其他事務的執行無影響，所有的事務都好像在獨立的運行。

例子

某人要在商店使用電子貨幣購買100元的東西，當中至少包括兩個操作：

1. 該人帳戶減少100元
2. 商店帳戶增加100元

支援交易的資料庫管理系統（transactional DBMS）就是要確保以上兩個操作（整個「交易」）都能完成，或一起取消；否則就會出現100元平白消失或出現的情況。

但在現實情況下，失敗的風險很高。在一個數據庫事務的執行過程中，有可能會遇上事務操作失敗、數據庫系統／操作系統出錯，甚至是存儲介質出錯等情況。這便需要DBMS對一個執行失敗的事務執行恢復操作，將其數據庫狀態恢復到一致狀態（數據的一致性得到保證的狀態）。為了實現將數據庫狀態恢復到一致狀態的功能，DBMS通常需要維護事務日誌（英語：Transaction log）以追蹤事務中所有影響數據庫數據的操作^[1][2]。

ACID性質

主條目：ACID

並非任意的對數據庫的操作序列都是數據庫事務。數據庫事務擁有以下四個特性，習慣上被稱之為ACID特性。

• 原子性（Atomicity）：事務作為一個整體被執行，包含在其中的對數據庫的操作要麼全部被執行，要麼都不執行^[3]。
• 一致性（Consistency）：事務應確保數據庫的狀態從一個一致狀態轉變為另一個一致狀態。一致狀態的含義是數據庫中的數據應滿足完整性約束^[3]。
• 隔離性（Isolation）：多個事務並發執行時，一個事務的執行不應影響其他事務的執行^[3]。
• 持久性（Durability）：已被提交的事務對數據庫的修改應該永久保存在數據庫中^[3]。

SQL

SQL國際標準使用START TRANSACTION開始一個事務（也可以用方言命令BEGIN）。COMMIT語句使事務成功完成。ROLLBACK語句結束事務，放棄從BEGIN TRANSACTION開始的一切變更。若autocommit被START TRANSACTION的使用禁止，在事務結束時autocommit會重新啟用。

關係型數據庫

關係型數據庫傳統上是由具有固定大小的字段和記錄的表組成。對象數據庫由可變大小的blobs(二進制大對象)組成，可能是可序列化的，也可能是結合了MIME類型的。關係型數據庫和對象型數據庫的基本相似之處是start, commit或rollback。

在啟動事務後，數據庫記錄或對象會被鎖定, 只讀，或讀寫。然後才可以進行讀寫操作。一旦事務完全完成，變化就會被原子性地提交或回滾，這樣在事務結束時就不會出現不一致的情況。

分布式事務

數據庫系統實現分布式事務是指在多個節點上訪問數據的事務。一個分布式事務在多個節點上執行ACID屬性，可能包括數據庫、存儲管理器、文件系統、消息系統和其他數據管理器等系統。在一個分布式事務中，通常有一個實體協調所有的過程，以確保事務的所有部分都適用於所有相關系統。