"Specification, Semantics, and Enforcement of Dynamic Database Constraints."

Hans-Dieter Ehrich, Udo W. Lipeck, Martin Gogolla (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics