14.1.2 事务的ACID特性及实现