ECOOP 1997Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate TransformersVéronique Benzaken, Xavier SchaeferDOI 10.1007/bfb0053374dblpBibTeXAbstract elided by the publisher.