送金トランザクション
begin
read(A,x)
read(B,y)
x:=x-10000
y:=y+10000
write(A,x)
write(B,y)
commit
項A,Bはバッファ上で更新済
ディスク上は未更新
トランザクションはコミット済
(コミット後処理次第)
システムを再起動
バッファは消滅
書込み操作がデータベースに反映されていることを
保証しなければならない
(障害回復処理が必要:ディスク上の値を更新)