事务必须具有的四个性质是：原子性、一致性、隔离性和持久性。通过（)可以保证处理程序并发时的数据一致性。