Suzanne M. Embury Peter M. D. Gray Compiling a Declarative High-Level Language for Semantic Integrity Constraints. 188-226 1995 conf/ds/1995 DS-6 db/conf/ds/ds95.html#EmburyG95