6.事务

事务的概念

访问并可能更新各种数据项的一个程序执行单元。事务由事务开始【begin transaction】和事务结束【end transaction】之间执行的全部操作组成。

ACID特性

原子性（Atomicity）：一个事务是一个不可分割的工作单位。整个事务中的所有操作，要么全部完成，要么全部不完成，不可能停滞在中间某个环节。事务在执行过程中发生错误，会被回滚（Rollback）到事务开始前的状态，就像这个事务从来没有执行过一样。

一致性（Consistency）:如果事务是并发多个，系统也必须如同串行事务一样操作。即事务必须始终保持系统处于一致的状态，不管在任何给定的时间并发事务有多少。

隔离性（Isolation）:如果有两个事务，运行在相同的时间内，执行相同的功能，事务的隔离性将确保每一事务在系统中认为只有该事务在使用系统。【这种属性有时称为串行化，为了防止事务操作间的混淆，必须串行化或序列化请求，使得在同一时间仅有一个请求用于同一数据。】

持久性（Durability）:在事务完成以后，该事务对数据库所作的更改便持久的保存在数据库之中，并不会被回滚。

抽象事务模型

可串行化原理

可串行化调度：多个事务的并发执行时正确的，并且仅当其结果与按某一次串行地执行这些事务时地结果相同。

冲突操作：指不同事务对同一个数据的读写操作和写写操作。（冲突操作：读写，写读和写写）

冲突可串行化：若调度S可与一个串行调度等价，则称S为冲突可串行化的。冲突可串行化可由优先图（有向图）来确定。优先图G=(V,E)，V是顶点集，E是边集，顶点集由事务组成，边集Ti--->Tj满足以下三个条件之一（即若满足下列条件之一即生成有向边Ti--->Tj）：
1.写读：Tj的read(Q)之前，Ti执行write(Q)
2.读写：Tj的write(Q)之前，Ti执行read(Q)
3.写写：Ti的write(Q)之前，Ti执行write(Q)
冲突可串行化调度是可串行化调度的充分条件。如图Figure-1:

Figure-1