Integrity Constraints: Semantics and Applications
Parke Godfrey, John Grant, Jarek Gryz, and Jack Minker
The complete paper is available in
PostScript