5.1.2 ACID：传统意义上的事务约束