Satisfiability of object-oriented database constraints with set and bag attributes - Formica, Anna (Information Systems, 2003)