西工大数据库实验报告7.docxVIP

《数据库原理》实验报告 题目：实验七 事务与并发控制 学号 姓名 班级 日期 2015302327 马俊超2017．11.5 实验目的 掌握事务机制，学会创建事务。 理解事务并发操作所可能导致的数据不一致性问题，用实验展现四种数据不一致性问题：丢失修改、读脏数据、不可重复读以及幻读现象。 理解锁机制，学会采用锁与事务隔离级别解决数据不一致的问题。 了解数据库的事务日志。 实验内容 1.实验内容、步骤以及结果 假设学校允许学生将银行卡和校园卡进行绑定，在student数据库中有如下的基本表，其中校园卡编号cardid即为学生的学号： icbc_card(studcardid,icbcid,balance) //校园卡ID，工行卡ID，银行卡余额 campus_card(studcardid,balance) //校园卡ID，校园卡余额 创建数据库的代码如下： create table campus_card ( studcardid Char(8) , balance Decimal(10,2)) create table icbc_card ( studcardid Char(8), icbcid Char(10), balance Decimal(10,2) ) 执行结果如图： 向该数据库插入数据的代码如下，执行结果如下图： insert into campus_card values 30) insert into campus_card values 50) insert into campus_card values 70) insert into icbc_card values 2015003101, 1000) insert into icbc_card values 2015003201, 1000) insert into icbc_card values 2015003301, 1000) 可以看出，执行插入数据的语句后，数据库相关的表里成功出现插入的数据: 针对以上数据库按照要求完成下列实验： 编写一个事务处理(begin tran)实现如下的操作：某学号学生要从银行卡中转账200元到校园卡中，若中间出现故障则进行rollback。（15分） 创建该事务的代码如下，执行结果如图： begin transaction declare @x decimal(10,2) select @x=balance from icbc_card where studcardidset @x=@x-200 if(@x0) begin update icbc_card set balance=@x where studcardidupdate campus_card set balance=balance+200 where studcardidcommit transaction end else begin print 余额不足，交易失败 rollback transaction end 然后执行查询语句，查看是否成功转账，数据是否发生更改： 执行如下语句，查询结果如图： select * from icbc_card where studcardidselect * from campus_card where studcardid可以看出，转账成功执行，学号学生的校园卡余额从5元增加了200元变为250元，而银行卡余额也成功减少200元，从1000元变为800元。 针对本题的数据库和表，分别用具体的例子展现四种数据不一致问题：丢失修改、读脏数据、不可重复读和幻读(删除和插入)。（40分，每种数据不一致10分） 第一种情况：丢失修改 事务A代码如下，执行结果如图： begin transaction a declare @balance1 decimal(10,2) select @balance1=balance from icbc_card where studcardid set @balance1=@balance1+50 update icbc_card set balance=@balance1 where studcardid=2015003