什么是事務(wù)？從表現(xiàn)上來(lái)看，事務(wù)是一個(gè)操作序列，這些操作要么都執(zhí)行，要么都不執(zhí)行，它是一個(gè)原子單元；從結(jié)果上看，事務(wù)是維護(hù)數(shù)據(jù)庫(kù)或?qū)ο鬆顟B(tài)一致性的工作單位。事務(wù)的主要屬性包括有：
- 原子性(ATOMICITY): 一個(gè)事務(wù)要被完全的無(wú)二義性的做完或撤消。在任何操作出現(xiàn)一個(gè)錯(cuò)誤的情況下，構(gòu)成事務(wù)的所有操作的效果必須被撤消，數(shù)據(jù)應(yīng)被回滾到以前的狀態(tài)。
- 一致性(CONSISTENCY): 一個(gè)事務(wù)應(yīng)該保護(hù)所有定義在數(shù)據(jù)上的不變的屬性(例如完整性約束)。在完成了一個(gè)成功的事務(wù)時(shí)，數(shù)據(jù)應(yīng)處于一致的狀態(tài)。換句話說(shuō)，一個(gè)事務(wù)應(yīng)該把系統(tǒng)從一個(gè)一致?tīng)顟B(tài)轉(zhuǎn)換到另一個(gè)一致?tīng)顟B(tài)。舉個(gè)例子，在關(guān)系數(shù)據(jù)庫(kù)的情況下， 一個(gè)一致的事務(wù)將保護(hù)定義在數(shù)據(jù)上的所有完整性約束。
- 隔離性(ISOLATION): 在同一個(gè)環(huán)境中可能有多個(gè)事務(wù)并發(fā)執(zhí)行，而每個(gè)事務(wù)都應(yīng)表現(xiàn)為獨(dú)立執(zhí)行。串行的執(zhí)行一系列事務(wù)的效果應(yīng)該同于并發(fā)的執(zhí)行它們。這要求兩件事:
- 在一個(gè)事務(wù)執(zhí)行過(guò)程中，數(shù)據(jù)的中間的(可能不一致)狀態(tài)不應(yīng)該被暴露給所有的其他事務(wù)。
- 兩個(gè)并發(fā)的事務(wù)應(yīng)該不能操作同一項(xiàng)數(shù)據(jù)。數(shù)據(jù)庫(kù)管理系統(tǒng)通常使用鎖來(lái)實(shí)現(xiàn)這個(gè)特征。
- 持久性(DURABILITY): 一個(gè)被完成的事務(wù)的效果應(yīng)該是持久的。
在任何情況下都要求應(yīng)維護(hù)一個(gè)工作單元的成功或失敗，并且在失敗的情況下將所有的資源返回到失敗前的數(shù)據(jù)狀態(tài)中。這在金融、貿(mào)易、電子商業(yè)等領(lǐng)域是要嚴(yán)格遵守的。