事务必须具有的四个性质是：原子性、一致性、（）和持久性。