DBMSにおいて，一連の処理が全て成功したら処理結果を確定し，途中で失敗したら処理前の状態に戻す特性をもつものはどれか。