一、事务 Transactions

1. 事务的基本概念

1. **概念：**事务是作为单个逻辑单元执行的一系列查询和数据更新语句
2. 事务终止的条件
   • COMMIT WORK：使事务的所有更新在数据库中永久存在
   • ROLLBACK WORK：撤消事务执行的所有更新（如果事务的任何步骤失败，则事务已完成的所有工作都可以通过 ROLLBACK WORK 撤消）

2. 事务的特性 ACID Properties

1. 原子性（Atomicity）
   • 事务中的所有语句，或者都执行，或者都不执行
2. 一致性（Consistence）
   • 一致性的要求包含显式指定的数据库约束（例如主键、外键约束）和隐式的逻辑关系（例如库存大于 0）
   • 事务执行的隔离性保证数据库的一致性
   • 某个事务的中间状态可以不一致，但中间状态对其它事务是隐藏的
3. 隔离性（Isolation）
   • 虽然多个事务可能并发执行，但每个事务的执行都不受其它正在执行事务的干扰
   • 隔离性的简单实现：对事务进行序列化，逐个执行事务（Run Transactions Serially）
4. 持久性（Durability）
   • 事务成功执行后，其对数据库的改变是持久的，即使发生系统故障

示例：

• 原子性要求：如果语句 4 出错，则已执行的语句 3 需要进行回滚

• 一致性要求：A 与 B 的账户余额之和（A+B）在事务执行前后不变

• 隔离性要求：若在语句 3 和 6 之间插入执行另一个事务 T2，则 T2 输出的 A+B 将小于期望值，违背一致性要求；这是由于事务 T1 和 T2 之间未满足隔离性要求导致的

  

3. 事务的状态 Transaction State

• **Active：**初态，事务在执行过程中处于该状态
• **Partially Committed：**事务的最后一条语句完成执行，但此时要输出的结果数据还在内存中，未写回磁盘
• **Failed：**发现事务难以正常执行后进入该状态
• **Aborted：**事务失败，且数据库完成回滚后进入该状态
• **Committed：**事务成功执行后进入该状态

二、原子性和持久性的实现

1. 数据库系统的恢复管理组件（Recovery-Management Component）实现了对原子性和持久性的支持