西工大数据库实验报告7
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1.1.实验目的
1.掌握事务机制，学会创建事务。
2.理解事务并发操作所可能导致的数据不一致性问题，用实验展现四种数据不一致性
问题：丢失修改、读脏数据、不可重复读以及幻读现象。
3.理解锁机制，学会采用锁与事务隔离级别解决数据不一致的问题。
4.了解数据库的事务日志。
1.2.实验内容
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('20150031', 30)
insert into campus_card values('20150032', 50)
insert into campus_card values('20150033', 70)
insert into icbc_card values('20150031','2015003101', 1000)
insert into icbc_card values('20150032','2015003201', 1000)
insert into icbc_card values('20150033','2015003301', 1000)
可以看出，执行插入数据的语句后，数据库相关的表里成功出现插入的数据:
针对以上数据库按照要求完成下列实验：
1.编写一个事务处理(begin tran)实现如下的操作：某学号为20150032的学生要从
银行卡中转账200元到校园卡中，若中间出现故障则进行rollback。（15分）
创建该事务的代码如下，执行结果如图：begin transaction
declare @x decimal(10,2)
select @x=balance
from icbc_card
where studcardid='20150032'
set @x=@x-200
if(@x>0)
begin
update icbc_card
set balance=@x
where studcardid='20150032'
update campus_card
set balance=balance+200
where studcardid='20150032'
commit transaction
end
else
begin
print'余额不足，交易失败'
rollback transaction
end
然后执行查询语句，查看是否成功转账，数据是否发生更改：
执行如下语句，查询结果如图：
select*
from icbc_card
where studcardid='20150032'
select*
from campus_card
where studcardid='20150032'
可以看出，转账成功执行，学号为20150032的学生的校园卡余额从5元增加了200元变为250元，而银行卡余额也成功减少200元，从1000元变为800元。
2.针对本题的数据库和表，分别用具体的例子展现四种数据不一致问题：丢失修改、
读脏数据、不可重复读和幻读(删除和插入)。（40分，每种数据不一致10分）
第一种情况：丢失修改
事务A代码如下，执行结果如图：
begin transaction a
declare @balance1 decimal(10,2)
select @balance1=balance from
icbc_card where studcardid='20150031'
set @balance1=@balance1+50
update icbc_card
set balance=@balance1
where studcardid='20150031'
commit transaction a
go
select*
from icbc_card
where studcardid='20150031'
学号为20150031的学生的银行卡里原先的余额是1000元，在执行完事务A后，可以看到，表里的数据更改为事务A所更新的余额增加50元，成为1050元。
事务B代码如下，执行结果如图：
begin transaction b
declare @balance decimal(10,2)
select @balance=balance
from icbc_card where studcardid='20150031'
waitfor delay'00:00:05'
set @balance=@balance+100
update icbc_card
set balance=@balance
where studcardid='20150031'
commit transaction b
go
select*
from icbc_card
where studcardid='20150031'