送金トランザクション
begin
read(A,x)
read(B,y)
x:=x-10000
y:=y+10000
write(A,x)
write(B,y)
commit
項A,Bはバッファ上で更新済
ディスク上も更新済
トランザクションはコミット済
システムを再起動
書込み操作はデータベースに反映されている
障害回復は不要
問題なし