第五章 事务处理.ppt

第五章 事务处理 1 事务调度与事务封锁的基本方法 两段锁协议与封锁级别 事务撤销与恢复 SQL中的封锁技术 第一节 事务概述 一、事务的定义 事务是对数据库进行操作的程序的动态执行。 二、良性事务应具备的特征：（与程序的区别） 1 原子性（atomicity) 2 一致性(consistency) 3 孤立性(isolation) 4 持久性(duration) 三、 事务分类 1. 简单事务： 一个事务中不在包含其他事务。 2 嵌套事务： 一个事务中包含其他事务。 特点： （1） 局部提交 （2）全局提交 四、 事务正确性 1 静态正确性：事务单独执行时是正确的。 2 动态正确性：事务并行执行时是正确的。 静态正确性等价于程序的正确性。 动态正确性与其他事务执行方式有关。 3 静态正确性与动态正确性的关系。 静态正确性是动态正确性的必要条件。 例1。分析如下定票事务 设有如下座位表ZW（ HBH，ZWH，BZ） 处理过程： BufferedReader in=new bufferedReader(new InputerStreamReader(System.in)); s=in.readLine(); zwh=Intiger.parseInt(s); hah=in.readLine(); pst=con.repareStatment(“select * from zw “+ “where hbh=? And zwh=?”); pst.setString(1,hbh); pst.setInt(2,zwh); rs=pst.executeQuery(); bz=rs.getInt(“bz”) ; if (bz=0) { sql=“update zw set bz=1 where hbh=? And zwh=?”; … prs.executeUpdate(sql);} … } 分析： 1 静态正确性。 2 分析静态正确性是必要条件，但不是充分条件。 五、 事务的设定方式： 1 默认方式（缺省方式）： 约定：每一条对数据库的操作语句设定为一个事务。 2 手动方式： 通过事务设定语句指明事务的开始和结束。 3 JDBC中事务的设定： （1）用con.setAutoCommit(false)标志事务的头，同时取消默认方式。 （2）事务结束标志 . 用con.Commit() . 用con.Rollback() 第二节 事务调度 一、三种调度 1 串行调度：设有T1,…,Tn，n个事务在同时执行，如果 它们的执行是顺序执行，则称它们是串行调度。 性质：如果每个事务都是静态正确的，则串行调度是正确的。 并行调度：如果n个事务是交叉执行的，则称调度是并行调度。 如：T1={S1;S2;S3},T2={W1,W2,W3} 执行方式：{S1;W1;S2;W2;W3;S3}是并行调度。 可串行化调度： 如果一个并行调度的执行结果（输出结果和数据库的状态）和串行调度的执行结果相同，则称该并行调度是可串行化调度。 如：T1={ 读X的值，X的值加1，写X的值，输出X} T2={读X的值，X的值加2，写X的值} 一个可串行化调度： {{读X的值，X的值加1，写X的值}T1；{读X的值，X的值加2，写X的值}T2；{输出X}T2} {{读X的值，X的值加2，写X的值}T2；{读X的值，X的值加1，写X的值}T1；{输出X}T2}是可串行调度吗？ 以上可以看成是两条UPDATE语句的并行执行。 不是可串行化的调度： {读X的值}T1，{读X的值}T2，…,} 调度的表示方法： Ri(x): 表示第I个事务对表中属性X进行读操作。 Wi（x)表示第I个事务对属性X的写操作。