六分布式事务管理10.pptxVIP

事务：事务是由若干个为完成某一任务而逻辑相关的操作组成的操作序列，是数据库上的一个执行单位。 Transaction, is a sequence of database operations organized in a basic unit for keeping database consistent and reliable. A database should be in a consistent state even if there are a number of concurrent transactions accessing the database. A database is reliable if it is resilient and capable of recovering. ;基本概念;事务的结构 事务的结构可描述为： ;基本概念; 航班订票系统 设：航班订票数据库中有航班信息表（Flight）和顾客订座表（FC）。其说明如下： FLIGHT{Fno(航班号)，Date(日期)，Src(出发地)，Dest(目的地)，StSold(卖出席位) ，Capacity(座席数)} FC{Fno(航班号) ，Date(日期)，Cname(客户姓名) ，Special(客户信息)};则订票事务可描述如下： begin_transaction reservation Begin input (Flight_no，Cdate，Customer_name)； EXEC SQL SELECT StSold，Capacity INTO temp1，temp2 FROM FLIGHT WHERE Fno= Flight_no AND Date= Cdate； If temp1=temp2 then Output(“no free seats”)；/*无空座*/ Abort; Else EXEC SQL UPDATE FLIGHT SET StSold= StSold+1 WHERE Fno= Flight_no AND Date= Cdate； EXEC SQL INSERT FLIGHT INTO FC(Fno，Date，Cname， Special) VALUEs (Flight_no，Cdate，Customer_name，null)； Commit; Output(“reservation complete”)；/*订票完成*/ Endif End;;订票事务内的具体操作描述如下： begin_transaction reservation B begin input (Flight_no，Cdate，Customer_name)； R1 temp←read(FLIGHT(Flight_no，Cdate). StSold)； R2 if temp≡(FLIGHT(Flight_no，Cdate). Capacity then begin Output(“no free seats”)；/*无空座*/ A Abort; end Else begin W1 Write (FLIGHT(Flight_no，Cdate). StSold，temp+1)； W2 Insert (FC，fc)； W3 Write(FC.Fno，Flight_no)； W4 Write(FC. Date，Cdate)； W5 Write(FC. Cname，Customer_name)； W6 Write(FC. Special，null)； C Commit； Output(“reservation complete”)；/*订票完成*/ Endif End;;事务具体操作描述，可得到事务的偏序集T： A T={B，R1，R2 ， W1，W2，W3，W4，W5，W6，C} 或描述为： A T={B，O1，O2， O3，O4，O5，O6，O7，O8，C} 其中?? B：事务开始； R：读操作； W：写操作； A：事务中断或事务夭折； C：事务提交或事务完成； O：（读/写）操作。 一个事务是一系列对数据库的操作组成的操作集，事务提交意味该事务正常操作完成，否则