db/conf/cikm/FormicaM92.html Anna Formica Michele Missikoff Integrity Constraints Representation in Object-Oriented Databases. 69-85 CIKM/1992/P069.pdf 1992 conf/cikm/1992 CIKM db/conf/cikm/cikm92.html#FormicaM92