原子性：所有操作要么全部执行，要么全部失败回滚
一致性：确保数据库从一个一致状态转为另一个一致状态（比如转账后双方存款的总额应该不变）
隔离性：一个事务的执行不应该影响其他事务
持久性：事务一旦提交，其对系统的修改应该永久保存，发生故障后能恢复