Anna Formica Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. 123-139 2002 14 IEEE Trans. Knowl. Data Eng. 1 http://www.computer.org:80/tkde/tk2002/k0123abs.htm db/journals/tkde/tkde14.html#Formica02