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