事务的ACID特性

银行应用是解释事务必要性的一个经典例子，假设一个银行的数据库有两张表：支票表(checking)和储蓄表(savings)，现在要从一个用户(id为123456)的支票账户转移200美元到他的储蓄账户，那么需要至少三个步骤：

1. 检查支票账户的余额高于200美元

2. 从支票账户的余额减去200美元

3. 从储蓄账户余额中增加200美元

上述三个步骤的操作必须打包在一个事务中，任何一个步骤失败，则必须回滚所有的步骤。上面事务的SQL样本如下：

start transation;
select balance from checking where costumer_id=123456;
update checking set balance=balance-200 where costumer_id=123456;
update savings set balance=balance+200 where costumer_id=123456;
commit;

我们以这个例子来解释事务的ACID特性：

一、原子性（atomicity）：

一个事务必须被是恶恶一个不可分割的最小工作单元，整个事务中的所有操作要么全部提交成功，要么全部失败回滚，对于一个事务来说，不可能只执行其中一部分操作，这就是事务的原子性。

二、一致性（consistency）：

数据库总是从一个一致性的状态转移到另一个一致性的状态。在前面的例子中，一致性确保了即使在执行第三、第四条语句之间时系统崩溃，支票账户中也不会损失200美元，因为事务最终没有提交，所有事务中所作的修改也不会保存到数据库中。

三、隔离性（isolation）：

通常来说，一个事务所做的修改在最终提交以前，对其他事务是不可见的。在我们的例子中，当执行到第三条语句，第四条语句还未开始时，此时有另一个账户汇总程序开始运行，则其看到的支票账户月并没有减去200美元。

四、持久性（durability）：

一旦事务提交，则其所作的修改就会永久保存到数据库中。此时即使系统崩溃，修改的数据也不会丢失。持久性是个有点模糊的概念，因为实际上持久性也分很多不同的级别。有些持久性策略能够提供非常强的安全保障，有些则未必。而且不可能有做到100%的持久性保证的策略（如果数据库本身就能做到真正的持久性，那备份又怎么能增加持久性呢）。