The role of frame-based representation in reasoning
Communications of the ACM
Mapping a semantic database model to the relational model
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the satisfiability of dependency constraints in entity-relationship schemata
Information Systems
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
Introduction to object-oriented databases
Introduction to object-oriented databases
Tractable instances of some hard deduction problems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
On the complexity of integer programming
Journal of the ACM (JACM)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Formal Properties of Net-Based Knowledge Representation Schemes
Proceedings of the Second International Conference on Data Engineering
A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Fundamentals of Cardinality Constraints
ER '92 Proceedings of the 11th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
Taxonomic and uncertain integrity constraints in object-oriented databases—the TOP approach
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
On verifying consistency of XML specifications
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Reasoning in expressive description logics
Handbook of automated reasoning
Reasoning about participation constraints and Chen's constraints
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
The description logic handbook
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Semantic WEB service data object management
CCDC'09 Proceedings of the 21st annual international conference on Chinese Control and Decision Conference
Decomposition by pivoting and path cardinality constraints
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Consistency of XML specifications
Inconsistency Tolerance
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
Current object-oriented data models lack several important features that would allow one to express relevant knowledge about the classes of schema. In particular, there is no data model supporting simultaneously the inverse of the functions represented by attributes, the union, the intersection and the complement of classes, the possibility of using nonbinary relations, and the possibility of expressing cardinality constraints on attributes and relations. In this paper we define a new data model, called CAR, which extends the basic core of current object-oriented data models with all the above mentioned features. A technique is then presented both for checking the consistency of class definitions, and for computing the logical sequences of the knowledge represented in the schema. Finally, the inherent complexity of reasoning in CAR is investigated, and the complexity of our inferencing technique is studied, depending on various assumptions on the schema.