Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers.

Vronique Benzaken, Xavier Schaefer

Browse the full ECOOP paper archive.