Deriving integrity maintaining triggers from transition graphs - Gertz, Michael; Lipeck, Udo W. (Proceedings, 1993)