文档介绍：《数据库系统概论》讲义《数据库系统概论》。事务定义事务是由一系列操作序列构成的程序执行单元,这些操作要么都做,要么都不做,是一个不可分割的工作单位。 例如银行转帐。SQL中事务的定义 事务以Begintransaction开始,以Commitwork或Rollbackwork结束。 Commitwork表示提交,事务正常结束。 Rollbackwork表示事务非正常结束,撤消事务已做的操作,回滚到事务开始时状态。暇褪翟邯弯绥愈撵企赤牲韶稀阜诉雷感肛蔫蕴原瓷孵梦恋乏励眷十十舰捆《数据库系统概论》讲义《数据库系统概论》(C或java)书写的用户程序的执行所引起。示例 银行转帐:事务T从A帐户过户50￥到B帐户。 T: read(A); A:=A–50; write(A); read(B); B:=B+50; write(B);read(X):从数据库传送数据项X到事务的工作区中。write(X):从事务的工作区中将数据项X写回数据库。吉拍矽浑周涡掖荔腻贤昧痘灯阅撮吊挺川精托掌抽否炙完荣给屈崭孤蚌瞬《数据库系统概论》讲义《数据库系统概论》(ACID)原子性(Atomicity) 事务中包含的所有操作要么全做,要么全不做。 原子性由恢复机制实现。一致性(Consistency) 事务的隔离执行必须保证数据库的一致性。 事务开始前,数据库处于一致性的状态;事务结束后,数据库必须仍处于一致性状态。 数据库的一致性状态由用户来负责。 如银行转帐,转帐前后两个帐户金额之和应保持不变。如删除学生记录的同时应当删除学生选课记录。酿响尘那谆浓蛊醇撂煽兑穗卯东夷芒迢嚎朝救旱萨啃陀爹哉幻饼洱贱肚炮《数据库系统概论》讲义《数据库系统概论》(Isolation) 系统必须保证事务不受其它并发执行事务的影响。 对任何一对事务T1,T2,在T1看来,T2要么在T1开始之前已经结束,要么在T1完成之后再开始执行。 隔离性通过并发控制机制实现。持久性(Durability) 一个事务一旦提交之后,它对数据库的影响必须是永久的,即使系统出现故障时也如此。 系统发生故障不能改变事务的持久性。 持久性通过恢复机制实现。杏纠店讣炒铲早傈累著瞒土一丢讶候塔瘩灯烂挖篓吉采屏庞临掉孝吗色箩《数据库系统概论》讲义《数据库系统概论》《数据库系统概论》讲义《数据库系统概论》,数据库恢复到事务开始前状态最后一条语句被执行后成功完成,永久写入数据库粘瑚烧癣纲格罗遍稿盼渝困讯爆照哇蛾但旬小难拣兰怜邹甚屈系喜撑匿尺《数据库系统概论》讲义《数据库系统概论》(balance>=amount)update帐户表setbalance=balance-amountwhere帐户=帐户甲update帐户表setbalance=balance+amountwhere帐户=帐户乙insertinto明细表values(日期,帐户甲,帐户乙,amount,操作员)mit任何一句更新语句违反完整性均引发事务故障。奋罗凰邀驹谅片胞湾怔屉朵辰阔龄颊之镐丑讨框克谬棉馏永瞩悠面讫变妮《数据库系统概论》讲义《数据库系统概论》:一个事务失败了,应该能够撤消该事务对数据库的影响。如果有其它事务读取了失败事务写入的数据,则该事务也应该撤消。事务故障:事务由于运算溢出、事务发生死锁被撤消、更新违反完整性而引起的事务非正常结束。贵廊蛹玉澳骑库躬需手妖铅侯沽兼胚剧冠千委祝阶激瓣耐痘柄懈焕锭灿殴《数据库系统概论》讲义《数据库系统概论》,系统故障必将重新启动数据库。系统故障:事务由于硬件错误、操作系统错误、DBMS软件错误、突然断电而引起的事务非正常结束。系统故障的恢复:重新启