摘要: 1. 原子性(ATOMICITY): 一個事務(wù)要被完全的無二義性的做完或撤消。在任何操作出現(xiàn)一個錯誤的情況下,構(gòu)成事務(wù)的所有操作的效果必須被撤消,數(shù)據(jù)應(yīng)被回滾到以前的狀態(tài)。
2. 一致性(CONSISTENCY): 一個事務(wù)應(yīng)該保護所有定義在數(shù)據(jù)上的不變的屬性(例如完整性約束)。在完成了一個成功的事務(wù)時,數(shù)據(jù)應(yīng)處于一致的狀態(tài)。換句話說,一個事務(wù)應(yīng)該把系統(tǒng)從一個一致狀態(tài)轉(zhuǎn)換到另一個一致狀態(tài)。舉個例子,在關(guān)系數(shù)據(jù)庫的情況下, 一個一致的事務(wù)將保護定義在數(shù)據(jù)上的所有完整性約束。
3. 隔離性(ISOLATION): 在同一個環(huán)境中可能有多個事務(wù)并發(fā)執(zhí)行,而每個事務(wù)都應(yīng)表現(xiàn)為獨立執(zhí)行。串行的執(zhí)行一系列事務(wù)的效果應(yīng)該同于并發(fā)的執(zhí)行它們。這要求兩件事:
* 在一個事務(wù)執(zhí)行過程中,數(shù)據(jù)的中間的(可能不一致)狀態(tài)不應(yīng)該被暴露給所有的其他事務(wù)。
* 兩個并發(fā)的事務(wù)應(yīng)該不能操作同一項數(shù)據(jù)。數(shù)據(jù)庫管理系統(tǒng)通常使用鎖來實現(xiàn)這個特征。
4. 持久性(DURABILITY): 一個被完成的事務(wù)的效果應(yīng)該是持久
閱讀全文