触发器中的check冲突结果整不明白

alter proc us

@type varchar(10),

@mon money

as

begin

begin transaction

	declare @id varchar(30)

	select @id=cardid from cardinfo

	insert into transinfo values(getdate(),@id,@type,@mon,'wu'))

commit transaction

	print '123'

end

go



alter trigger trans

on transinfo

for insert

as

begin

	declare @type varchar(10),@cardid varchar(20),@mon money

	select @type=transtype,@cardid=cardID,@mon=transMoney from inserted

	if(@type='1')

		begin

		update cardinfo set balance=balance-5 where cardID=@cardid

		update cardinfo set balance=balance-@mon where cardID=@cardid

		end

	else

	update cardinfo set balance=balance+@mon where cardID=@cardid

end



	declare @id varchar(30)

	select @id=cardid from cardinfo

	insert into transinfo values(getdate(),@id,'1',20,'wu')

	print '123'

exec us '1',20--就这里不明白了，在存储过程中插入，触发器运行，但是触发器中的update会违反check约束，结果触发器在
update cardinfo set balance=balance-@mon where cardID=@cardid这句违反之后就终止了，后面的不再执行，存储过程中的事务也被回滚，为什么啊？
但是如果是在存储过程中违反了check约束就不会回滚而且其他语句照常执行，可以commit或者rollback。

现在我得判断触发器执行成功没有，遇到冲突就断了，怎么来判断？@@error就不提了，更别说在触发器中commit或者rollback了
------解决方案--------------------
友情帮顶~~
------解决方案--------------------
If the trigger fails your transaction rolls back
 
------解决方案--------------------
你违反check肯定要报错的。。。要么就update的时候来判断一下是否违反check，违反就跳过，写个记录。没违反就update了。不知道什么情况就给点意见