如果一个事务执行成功，则该事务中的更新全部提交；如果一个事务执行失败，则该事务中已做过的更新全部撤消，好像这个事务从未做过这些更新。这是保证了事务的（）。