更新事务

写在前面

事务的ACID性质

当系统上进程没有活动的事务的时候，一个事务就可以开始。当事务处于执行状态的时候，他所做的任何更新对于并行用户是不可见的，并且数据读不能被更新。

关于事务的执行有两条语句
第一条：
exec sql commit work;

程序员使用这条语句告知系统当前的事务已经完成成功，事务所做的更新在数据库将永久的保存并对并行用户可见。
第二条：
exec sql rollback work;

这条语句指出当前的事务执行失败，事务所做的所有修改将被撤销，被修改的数据将恢复大修改之前的版本并对用户可见。

事务这个概念是解决大型数据库系统应用过程面临的一系列问题

问题：

• 产生不一致问题。
• 并发执行的错误。
• 关于何时更新的数据会变为持久化的不确定性。
  为了减少磁盘的访问次数，通常将页面存放在内存当中，这意味着对于一条经常需要用到的记录会在内存当中放置很长一段时间，当崩溃发生是我们只能找到已经写在磁盘上的内容。所以似乎只有两种选择：一种是一旦有修改的操作发生就将缓冲的记录写到磁盘上，（如果这样就根本不能通过缓冲的机制减少磁盘的IO操作），另一种就是发生修改的时候不做频繁的写回操作，但是对于每一个记录没有完成磁盘的写操作我们能够相信更新被记录下来了么？

为了解决以上的问题 提出了事务的概念

将事务定义为对数据库的一串的读写操作，这些操作组成一个逻辑单位。
应用程序员决定将怎样的读取和更新操作组成一个事务，接着数据流系统通过提供四个保证来解决上面提到的各种问题。

这四个保证称之为ACID性质：

• Atomicity 原子性
• Consistency 一致性
• Isolation 隔离性
• Durability 持久性

原子性

事务的这一性质保证事务包含的一组更新的操作是原子不可分的。
也就是这些操作对于数据库要么是全做要么是全不做。
这一性质在系统崩溃之后任然得到保证，
一个称为数据库恢复的过程将在系统崩溃之后执行用来恢复或者撤销系统崩溃时处于活动状态的事务对数据库的影响从而保证原子性。这样就可以解决不一致性的问题。

系统对磁盘上任何操作的实际数据做出修改之前都会将关于操作本身的记录信息记录到磁盘上。（增加额外的存储信息保证一致性）发生崩溃之后系统就能够根据这些信息决定是撤销还是程序执行某些事物。

一致性