若一个事务执行成功，则它的全部更新被提交;若一个事务执行失败，则DB中被其更新过的数据恢复原状，就象这些更新从未发生过，这保持了数据库处于()。