事务的定义

• 简单的来说，事务处理可以用来维护数据库的完整性，保证成批的 SQL 语句要么全部执行，要么全部不执行

事务的特性

• 原子性：一个事务（transaction）中的所有操作，要么全部完成，要么全部不完成，不会结束在中间某个环节。事务在执行过程中发生错误，会被回滚（Rollback）到事务开始前的状态，就像这个事务从来没有执行过一样

• 一致性：在事务开始之前和事务结束以后，数据库的完整性没有被破坏。这表示写入的资料必须完全符合所有的预设规则，这包含资料的精确度、串联性以及后续数据库可以自发性地完成预定的工作

• 隔离性：数据库允许多个并发事务同时对其数据进行读写和修改的能力，隔离性可以防止多个事务并发执行时由于交叉执行而导致数据的不一致。事务隔离分为不同级别，包括读未提交（Read uncommitted）、读提交（read committed）、可重复读（repeatable read）和串行化（Serializable）

• 持久性：事务处理结束后，对数据的修改就是永久的，即便系统故障也不会丢失

实例

• 比如有一张account表和account_detail表
• account代表用户的账户金额表
• account_detail代表用户消费金额表

分析

• 当用户金额足够时，扣减账户金额，并且往消费明细表写入一条消费金额数据
• 如果用户金额不足够，那么就无法扣减账户金额，同时也不能往消费明细表写入数据

前置代码

--创建account表
create table account(
id varchar(20) primary key,
name nvarchar(20),
balance decimal(18,2) check(balance >=0)
)

--创建account_detail表
create table account_detail(
id varchar(20) primary key,
account_id varchar(20) foreign key references account(id),
amount decimal(18,2) check(amount >=0),
create_time datetime
)

--插入account表数据
insert into account values
('1','刘备',1000),
('2','关羽',2000),
('3','张飞',3000)

事务代码

declare @my_error int=0
begin transaction
-- 刘备准备消费3000元，如果刘备的账户余额足够，账户表就扣减3000元，并且往明细表写入一条消费记录
-- 如果余额不足，那么消费不成功，余额不会扣减，也不会往明细表写入数据
-- @@error 如果为0代表执行成功，如果失败的话@@error的值是不等于0的
update account set balance=balance-100 where name='刘备'
set @my_error = @@error+@my_error
insert into account_detail VALUES('1','1',100,GETDATE())
if @my_error =0
	begin
		commit transaction
		print '消费成功'
	end
else
	begin
		rollback transaction
		print '消费失败'
	end