The C++ programming language
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Queries and views in an object-oriented data model
Proceedings of the second international workshop on Database programming languages
A formal approach to object-oriented databases
Data & Knowledge Engineering
Functional dependencies in Horn clause queries
ACM Transactions on Database Systems (TODS)
Reasoning about functional dependencies generalized for semantic data models
ACM Transactions on Database Systems (TODS)
Indexing in an object-oriented DBMS
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
Programming pearls: Aha algorithms
Communications of the ACM
Principles of Database Systems
Principles of Database Systems
An Introduction to the General Theory of Algorithms
An Introduction to the General Theory of Algorithms
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Indexing Techniques for Queries on Nested Objects
IEEE Transactions on Knowledge and Data Engineering
Selection of Indexes to Memory-Resident Entities for Semantic Data
IEEE Transactions on Knowledge and Data Engineering
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
An Indexing Technique for Object-Oriented Databases
Proceedings of the Seventh International Conference on Data Engineering
Theory of Relational Databases
Theory of Relational Databases
Proceedings of the 30th IEEE symposium on Foundations of computer science
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Research Frontiers in Object Technology
Information Systems Frontiers
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Semantic Query Optimization for ODMG-93 Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Information Systems
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Theoretical Computer Science - Logic, language, information and computation
Deciding implication for functional dependencies in complex-value databases
Theoretical Computer Science - Logic, language, information and computation
Relational Databases in RDF: Keys and Foreign Keys
Semantic Web, Ontologies and Databases
Hi-index | 0.00 |
Virtually all semantic or object-oriented data models assume that objects have an identity separate from any of their parts, and allow users to define complex object types in which part values may be any other objects. This often results in a choice of query language in which a user can express navigating from one object to another by following a property value path. We consider a constraint language in which one may express equations and functional dependencies over complex object types. The language is novel in the sense that component attributes of individual constraints may correspond to property paths. The kind of equations we consider are also important, because they are a natural abstraction of the class of conjunctive queries for query languages that support property value navigation. In our introductory comments, we give an example of such a query and outline two applications of the constraint theory to problems relating to a choice of access plan for the query. We present a sound and complete axiomatization of the constraint language for the case in which interpretations are permitted to be infinite, where interpretations themselves correspond to a form of directed labeled graph. Although the implication problem for our form of equational constraint alone over arbitrary schema is undecidable, we present decision procedures for the implication problem for both kinds of constraints when the problem schema satisfies a stratification condition, and when all input functional dependencies are keys.