A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Interactive classification of conceptual knowledge
Proceedings from the first international workshop on Expert database systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Formal properties of net-based knowledge representation schemes
Data & Knowledge Engineering
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
Logic and databases: an assessment
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Attributive concept descriptions with complements
Artificial Intelligence
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Querying object-oriented databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The complexity of existential quantification in concept languages
Artificial Intelligence
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Making object-oriented schemas more expressive
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Proving termination with multiset orderings
Communications of the ACM
LOGIDATA: Deductive Databases with Complex Objects
LOGIDATA: Deductive Databases with Complex Objects
Object Relational DBMSs: The Next Great Wave
Object Relational DBMSs: The Next Great Wave
Object-Oriented Database Systems: Concepts and Architectures
Object-Oriented Database Systems: Concepts and Architectures
Reasoning About Equations and Functional Dependencies on Complex Objects
IEEE Transactions on Knowledge and Data Engineering
Deductive Entity Relationship Modeling
IEEE Transactions on Knowledge and Data Engineering
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Automatic Validation of Object-Oriented Database Structures
Proceedings of the Fifth International Conference on Data Engineering
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
Subsumption for Complex Object Data Models
ICDT '92 Proceedings of the 4th International Conference on Database Theory
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Research Frontiers in Object Technology
Information Systems Frontiers
Consistency of the static and dynamic components of object-oriented specifications
Data & Knowledge Engineering
Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas
IEEE Transactions on Knowledge and Data Engineering
Expressing Constraint Models in Object Oriented Data Using UML and ODL
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Information Integration: The MOMIS Project Demonstration
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Synthesizing an Integrated Ontology
IEEE Internet Computing
The Knowledge Engineering Review
MIAMI: methods and infrastructure for the assurance of measurement information
DMSN '05 Proceedings of the 2nd international workshop on Data management for sensor networks
Enhancing Security and Privacy in Traffic-Monitoring Systems
IEEE Pervasive Computing
MIKS: an agent framework supporting information access and integration
Intelligent information agents
An ontological modeling approach to cerebrovascular disease studies: The NEUROWEB case
Journal of Biomedical Informatics
Hi-index | 0.00 |
Integrity constraints are rules that should guarantee the integrity of a database. Provided an adequate mechanism to express them is available, the following question arises: Is there any way to populate a database which satisfies the constraints supplied by a database designer? That is, does the database schema, including constraints, admit at least a nonempty model? This work answers the above question in a complex object database environment, providing a theoretical framework, including the following ingredients: 1) two alternative formalisms, able to express a relevant set of state integrity constraints with a declarative style; 2) two specialized reasoners, based on the tableaux calculus, able to check the consistency of complex objects database schemata expressed with the two formalisms. The proposed formalisms share a common kernel, which supports complex objects and object identifiers, and which allow the expression of acyclic descriptions of: classes, nested relations and views, built up by means of the recursive use of record, quantified set, and object type constructors and by the intersection, union, and complement operators. Furthermore, the kernel formalism allows the declarative formulation of typing constraints and integrity rules. In order to improve the expressiveness and maintain the decidability of the reasoning activities, we extend the kernel formalism into two alternative directions. The first formalism, ${\cal OLCP,}$ introduces the capability of expressing path relations. Because cyclic schemas are extremely useful, we introduce a second formalism, ${\cal OLCD,}$ with the capability of expressing cyclic descriptions but disallowing the expression of path relations. In fact, we show that the reasoning activity in ${\cal OLCDP}$ (i.e., ${\cal OLCP}$ with cycles) is undecidable.