OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
Formal properties of net-based knowledge representation schemes
Data & Knowledge Engineering
Introduction to algorithms
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Data model issues for object-oriented applications
Readings in object-oriented database systems
A formal approach to object-oriented databases
Data & Knowledge Engineering
Logic and databases: an assessment
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Object orientation: concepts, languages, databases, user interfaces
Object orientation: concepts, languages, databases, user interfaces
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
Object-oriented database schema analysis and inheritance processing: a graph-theoretic approach
Data & Knowledge Engineering
An efficient method for checking object-oriented database schema correctness
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Inheritance hierarchy design in object-oriented databases
Data & Knowledge Engineering
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Data Models
Object-Oriented Databases: Definition and Research Directions
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
Constraint Analysis for Specifying Perspectives of Class Objects
Proceedings of the Fifth International Conference on Data Engineering
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Theory of Data Dependencies - An Overview
Proceedings of the 11th Colloquium on Automata, Languages and Programming
iO2 - An Algorithmic Method for Building Inheritance Graphs in Object Database Design
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Proving Finite Satisfiability of Deductive Databases
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Integrity Constraints Representation in Object-Oriented Databases
CIKM '92 Selected Papers from the First International Conference on Information and Knowledge Management, Expanding the Definition of Database
System Description: Generating Models by SEM
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A framework for data base semantic integrity
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
| Hi-index | 0.00 |
Checking satisfiability of database constraints is a fundamental problem in database design. In addition, database constraints have to be not only satisfiable but also finitely satisfiable. This problem is generally addressed by using theorem provers that, being developed for first order logic formulas, are based on semidecidable procedures. Furthermore, even in simple cases, theorem provers are quite inefficient in dealing with comparison operators such as, for instance, the equality. In this paper, a decidable, sound, and complete method for checking finite satisfiability of a specific class of integrity constraints for object-oriented databases, including the equality constraints, is presented. The method, that is based on a graph-theoretic approach, has exponential complexity in the worst case, rarely occurring in practice.