在數(shù)據(jù)庫(kù)系統(tǒng)中，“事務(wù)”是訪問(wèn)數(shù)據(jù)庫(kù)并可能更新各種數(shù)據(jù)項(xiàng)的一個(gè)程序執(zhí)行單元。為了保證數(shù)據(jù)完整性，要求數(shù)據(jù)庫(kù)系統(tǒng)維護(hù)事務(wù)的原子性、一致性、隔離性和持久性。針對(duì)事務(wù)的這4種特性，考慮以下的架構(gòu)設(shè)計(jì)場(chǎng)景。假設(shè)在某一個(gè)時(shí)刻只有一個(gè)活動(dòng)的事務(wù)，為了保證事務(wù)的原子性，對(duì)于要執(zhí)行寫(xiě)操作的數(shù)據(jù)項(xiàng)，數(shù)據(jù)庫(kù)系統(tǒng)在磁盤(pán)上維護(hù)數(shù)據(jù)庫(kù)的一個(gè)副本，所有的寫(xiě)操作都在數(shù)據(jù)庫(kù)副本上執(zhí)行，而保持原始數(shù)據(jù)庫(kù)不變，如果在任一時(shí)刻操作不得不中止，系統(tǒng)僅需要?jiǎng)h除副本，原數(shù)據(jù)庫(kù)沒(méi)有受到任何影響。這種設(shè)計(jì)策略稱為（1）。事務(wù)的一致性要求在沒(méi)有其他事務(wù)并發(fā)執(zhí)行的情況下，事務(wù)的執(zhí)行應(yīng)該保證數(shù)據(jù)庫(kù)的一致性。數(shù)據(jù)庫(kù)系統(tǒng)通常采用（2）機(jī)制保證單個(gè)事務(wù)的一致性。事務(wù)的隔離性保證操作并發(fā)執(zhí)行后的系統(tǒng)狀態(tài)與這些操作以某種次序順序執(zhí)行（即可串行化執(zhí)行）后的狀態(tài)是等價(jià)的。兩階段鎖協(xié)議是實(shí)現(xiàn)隔離性的常見(jiàn)方案，該協(xié)議（3）。持久性保證一旦事務(wù)完成，該事務(wù)對(duì)數(shù)據(jù)庫(kù)所做的所有更新都是永久的，如果事務(wù)完成后系統(tǒng)出現(xiàn)故障，則需要通過(guò)恢復(fù)機(jī)制保證事務(wù)的持久性。假設(shè)在日志中記錄所有對(duì)數(shù)據(jù)庫(kù)的修改操作，將一個(gè)事務(wù)的所有寫(xiě)操作延遲到事務(wù)提交后才執(zhí)行，則在日志中（4）。當(dāng)系統(tǒng)發(fā)生故障時(shí)，如果某個(gè)事務(wù)已經(jīng)開(kāi)始，但沒(méi)有提交，則該事務(wù)應(yīng)該（5）。