[catnaroek]

Triggers are an imperative hack. This is like using a C struct with an enum and a union, and claiming that C has "sum types".

[mjw]

Agreed that SQL is ugly as hell, but if you want to talk about its theoretical properties that's a separate debate. Theory doesn't care whether something's aesthetically pleasing, just whether it's possible.