关系数据库SQL之可编程性事务

前言

前面关系数据库SQL之可编程性函数(用户自定义函数)一文提到关系型数据库提供了可编程性的函数、存储过程、事务、触发器及游标,前文已介绍了函数、存储过程,本文来介绍一下事务的使用。(还是以前面的银行系统为例)

图片来自网络

概述

是指作为单个逻辑工作单元执行的一系列操作,要么完全地执行,要么完全地不执行。
一个逻辑工作单元要成为事务,必须满足所谓的ACID(原子性、一致性、隔离性和持久性)特性。

语法

开始事务:事务开始的位置,就是单个逻辑工作单元的开始。
回滚事务:就是将数据恢复至事务开始的状态,一般是不满足条件或者是发生错误的时候执行该操作。
提交事务:事务结束的位置,就是单个逻辑工作单元成功执行后,改变数据状态。

--开始事务
BEGIN TRAN[SACTION]
--回滚事务,TRAN[SACTION]可省略
ROLLBACK TRAN[SACTION]
--提交事务
COMMIT TRAN[SACTION]

--事务使用
BEGIN TRAN[SACTION]
--这里是SQL语句块

上面的SQL语句块,需要在适当的位置加上COMMIT TRAN[SACTION],如果需要回滚可以有ROLLBACK TRAN[SACTION]

事务可以与存储过程联合使用。

特性

  • 原子性(Atomic)(Atomicity)

事务必须是原子工作单元;对于其数据修改,要么全都执行,要么全都不执行。通常,与某个事务关联的操作具有共同的目标,并且是相互依赖的。如果系统只执行这些操作的一个子集,则可能会破坏事务的总体目标。原子性消除了系统处理操作子集的可能性。

  • 一致性(Consistent)(Consistency)

事务在完成时,必须使所有的数据都保持一致状态。在相关数据库中,所有规则都必须应用于事务的修改,以保持所有数据的完整性。事务结束时,所有的内部数据结构(如 B 树索引或双向链表)都必须是正确的。某些维护一致性的责任由应用程序开发人员承担,他们必须确保应用程序已强制所有已知的完整性约束。例如,当开发用于转帐的应用程序时,应避免在转帐过程中任意移动小数点。

  • 隔离性(Insulation)(Isolation)

由并发事务所作的修改必须与任何其它并发事务所作的修改隔离。事务查看数据时数据所处的状态,要么是另一并发事务修改它之前的状态,要么是另一事务修改它之后的状态,事务不会查看中间状态的数据。这称为隔离性,因为它能够重新装载起始数据,并且重播一系列事务,以使数据结束时的状态与原始事务执行的状态相同。当事务可序列化时将获得最高的隔离级别。在此级别上,从一组可并行执行的事务获得的结果与通过连续运行每个事务所获得的结果相同。由于高度隔离会限制可并行执行的事务数,所以一些应用程序降低隔离级别以换取更大的吞吐量。

  • 持久性(Duration)(Durability)

事务完成之后,它对于系统的影响是永久性的。该修改即使出现致命的系统故障也将一直保持。

示例

  1. 创建一个带事务的存储过程:孙悟空要取钱,交易信息表里面插入交易信息,同时要更改账户表里面的余额
begin transaction
	if exists(select * from sysobjects where name = 'proc_getMoney')
	drop procedure proc_getMoney
	go
	create proc proc_getMoney
		@cardId varchar(19),
		@tranMoney money
	as
	declare @balance money
	select @balance = LeftMoney from CardInfo where CardID = @cardId
	if(@tranMoney <= @balance)
	begin
		insert into TransInfo values(@cardId,'取款',@tranMoney,default)
		if(@@ERROR=0)
		begin
			update CardInfo set LeftMoney = LeftMoney - @tranMoney where CardID = @cardId
			if(@@ERROR=0)
			begin
				commit transaction
				print 'OK'	
			end	
		end
		else
		begin
			rollback
			print 'error'
		end
	end
	else
			print '余额不足'
go
exec proc_getMoney '1324 3626 7532 1935',520
go
exec proc_getMoney '1027 3526 1536 1135',520
go
  1. 在存储过程内创建事务,根据用户输入的个人信息,实现银行卡开户,输出参数作为用户的银行卡卡号以及银行卡余额(开户时不仅要在用户信息表和银行卡表添加一条数据,也要在交易信息表中插入一条存款的记录,因为开卡时需要指定开卡金额,银行卡卡号自动生成)
if exists(select * from sysobjects where name = 'proc_openAccount')
drop procedure proc_openAccount
go
create proc proc_openAccount
	@CustName varchar(20),		--定义变量开户人姓名
	@IDCard varchar(18),		--定义变量开户人身份证号
	@TelePhone varchar(13),		--定义变量开户人电话号码
	@Address varchar(50),		--定义变量开户人住址
	@openMoney money			--定义变量开户存入现金金额
as
begin
begin transaction
	declare @CustID int,@CardID varchar(19)	 --定义变量开户人的账户编号,开户的卡号
	exec proc_getCardNo  @CardID output --执行自动生成卡号的存储过程,将输出值赋给变量@CardID
		--向账户表中插入数据
		insert into AccountInfo values
		(@CustName,@IDCard,@TelePhone,@Address)
	if(@@error != 0)--如果出错
		rollback--事务回滚
	else
		begin
			set @CustID = @@identity	 --获取生成账户的编号CustID
			--向银行卡表中插入数据
			insert into CardInfo values
			(@CardID,default,@CustID,'活期',getdate(),@openMoney,@openMoney,'否')
				if(@@error != 0)
					rollback
				else
					begin
					--向交易表中插入数据
					insert into TransInfo values
					(@CardID,'存款',@openMoney,default)
					if(@@error != 0)
						begin
							rollback
							print '开户失败,插入数据错误!'
						end
					else
						begin
							print '开户成功!'
							print '卡号为:' + @CardID
						end
					end
		end
commit transaction
end
go
exec proc_openAccount '八戒','422322001550135015','027-8658888','高老庄',250
go

附:
实现生产银行卡的存储过程,该存储过程能随机的产生一个卡号输出

if exists(select * from sysobjects where name = 'proc_getCardNo')
	drop procedure proc_getCardNo
	go
	create proc proc_getCardNo
		@CardNo varchar(19) output	--定义输出参数的类型
	as
	begin
		declare @day varchar(2) --定义日期
		set @day = dateName(dd,getdate())
		if @day<10	--如果日期小于10,要对其加'0'
		set @day = '0'+@day
		set @CardNo = convert(varchar(9),(dateName(yyyy,getdate())+' '
+ dateName(mm,getdate())))+@day+' '+ convert(varchar(10),(dateName(hh,getdate())
+dateName(mi,getdate())+' '+ subString(convert(varchar(6),rand(datepart(ms,getdate()))*1000000),1,5)))	
	end
go
declare @card varchar(19)
exec proc_getCardNo  @card output
print '卡号为:' + @card
go

本文就介绍到这里。
如有疑问请联系我。

原文来自:简书

posted @ 2016-05-12 23:59  seayxu  阅读(1399)  评论(0编辑  收藏