Constraint models for an object-oriented database - Eisuke Muroga (1990)