1.7　本章小结

事务需要具有原子性、一致性、隔离性和持久性，PostgreSQL数据库通过采用两阶段锁的方法和MVCC方法控制事务的原子性和隔离性，通过实现WAL保证事务的持久性，通过支持各种完整性约束为应用提供保证数据一致性的接口。

PostgreSQL通过对事务的实现进行分层，使用两个有限状态机实现事务状态的转换，在事务提交时保证WAL落盘，同时通过clog保存事务的结束状态。