事务必须具有的四个性质是:原子性、___、__和持久性。