事务 ■定义 事务( transaction)是构成单一逻辑工作单元的操作集合 性质 原子性( Atomicity):事务是一个不可分割的工作单元 致性( Consistency):即数据不会应事务的执行而遭受破 坏 隔离性( Isolation):在多个事务并发执行时,系统应保证 与这些事务先后单独执行时的结果一样 ■持久性( Durability):一个事务一旦完成全部操作后,它 对数据库的所有更新应永久地反映在数据库中
事务 ◼ 定义 事务(transaction)是构成单一逻辑工作单元的操作集合 ◼ 性质 ◼ 原子性(Atomicity):事务是一个不可分割的工作单元 ◼ 一致性(Consistency) :即数据不会应事务的执行而遭受破 坏 ◼ 隔离性(Isolation) :在多个事务并发执行时，系统应保证 与这些事务先后单独执行时的结果一样 ◼ 持久性(Durability) :一个事务一旦完成全部操作后，它 对数据库的所有更新应永久地反映在数据库中
例子:事务及其性质 问题:设银行数据库中有一转账事 原子性(AB同时被修 务T,从账号A转一笔款子($50) 到账号B。 改或同时保持原值) 相应的事务: 致性(A+B的值不变) T: read (A) ■隔离性 A:=A-50: ■持久性 write (A) read(B) B:=B+50 write (B)
例子：事务及其性质 问题：设银行数据库中有一转账事 务T，从账号A转一笔款子（$50） 到账号B。 相应的事务： T：read（A）； A:=A–50； write（A）； read（B）； B:=B + 50； write（B）. ◼ 原子性（A,B同时被修 改或同时保持原值） ◼ 一致性（A+B的值不变） ◼ 隔离性 ◼ 持久性
事务提交和事务撤销 ■事务的所有操作都完成了,则事务提交 COMMIT),否则事务撤销( ROLLBACK) ■ BEGIN TRANSACTION标志事务开始执行 BEGIN TRANSACTION和 COMMI或 ROLLBACK一起保证了事务的四个性质 ■对数据库访问的两个基本操作:读和写, 但完成写操作后,数据可能暂时放在内 存中,而非直接写进数据库
事务提交和事务撤销 ◼ 事务的所有操作都完成了，则事务提交 (COMMIT)，否则事务撤销(ROLLBACK) ◼ BEGIN TRANSACTION标志事务开始执行 ◼ BEGIN TRANSACTION和COMMIT或 ROLLBACK一起保证了事务的四个性质 ◼ 对数据库访问的两个基本操作：读和写， 但完成写操作后，数据可能暂时放在内 存中，而非直接写进数据库
主要内容 ■7.1系统目录 7.2事务 7。厚的 7.4数据库的并发控制 ■7.5并发事务的可串行化和可恢复性 ■7.6数据库的完整性 ■7.7数据库的安全性
主要内容 ◼ 7.1 系统目录 ◼ 7.2 事务 ◼ 7.3 数据库的恢复 ◼ 7.4 数据库的并发控制 ◼ 7.5 并发事务的可串行化和可恢复性 ◼ 7.6 数据库的完整性 ◼ 7.7 数据库的安全性 ◼ 小结
存储器类型 ■易失性存储器( volatile storage) 内存、 cache存储器 ■非易失性存储器( nonvolatile storage) 磁盘和磁带 ■稳定存储器( stable storage) 这是一个理论上的概念。存储在稳定存储器中的信息是决不会 丢失的。 ■稳定存储器的实现 数据备份 数据银行
存储器类型 ◼ 易失性存储器（volatile storage） 内存、cache存储器 ◼ 非易失性存储器（nonvolatile storage） 磁盘和磁带 ◼ 稳定存储器（stable storage） 这是一个理论上的概念。存储在稳定存储器中的信息是决不会 丢失的。 ◼ 稳定存储器的实现 ◼ 数据备份 ◼ 数据银行