The data model is the foundation for a number of techniques for developing object-oriented systems, including adaptive software, schema abstraction from object examples, schema optimization, planning ...

Abstract: Checking satisfiability of database constraints is a fundamental problem in ... finite satisfiability of a specific class of integrity constraints for object-oriented databases, including ...