Several existing systems have their own non-standard trigger features.
The trigger actions for tuple t with a negative balance are then
s[bname] = t[bname]
s[amount] = - t[balance]
s[cname] = t[cname]
define trigger overdrafton update of account T
(if new T.balance < 0
then (insert into loan values
(T.bname, T.account#, - new T.balance)
insert into borrower
(select cname, account#
from depositor
where T.coount# = depositor.account#)
update account S
set S.balance = 0
where S.account# = T.account# ))