Deriving Integrity Constraints Maintaining Triggers from Transition Graphs

Michael Gertz. Deriving Integrity Constraints Maintaining Triggers from Transition Graphs. In Grundlagen von Datenbanken. pages 40-44, 1992.

Abstract

Abstract is missing.