A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
The Verso algebra or how to answer queries with fewer joins
Journal of Computer and System Sciences
Foundations of semantic query optimization for deductive databases
Foundations of deductive databases and logic programming
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
An object-oriented query algebras
Proceedings of the second international workshop on Database programming languages
Subtree-elimination algorithms in deductive databases
Subtree-elimination algorithms in deductive databases
A general framework for the optimization of object-oriented queries
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Design issues in a map language
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Algebraic optimization of object-oriented query languages
ICDT Selected papers of the 4th international conference on Database theory
EDBT '94 Proceedings of the 4th international conference on extending database technology: Advances in database technology
Data model and query evaluation in global information systems
Journal of Intelligent Information Systems - Special issue: networked information discovery and retrieval
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Towards an effective calculus for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Conjunctive query containment with respect to views and constraints
Information Processing Letters
A query language for multidimensional arrays: design, implementation, and optimization techniques
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Rule languages and internal algebras for rule-based optimizers
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of query containment under constraints
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Query Interoperation Among Object-Oriented and Relational Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Conjunctive Query Containment Revisited
ICDT '97 Proceedings of the 6th International Conference on Database Theory
An Algebraic Framework for Physical OODB Design
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
A Calculus for Collections and Aggregates
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Embedded implicational dependencies and their inference problem
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Theory of Relational Databases
Theory of Relational Databases
Query Optimization for Semistructured Data Using Path Constraints in a Deterministic Data Model
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Clio: Schema Mapping Creation and Data Exchange
Conceptual Modeling: Foundations and Applications
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Semantic query optimization in the presence of types
Journal of Computer and System Sciences
| Hi-index | 0.00 |
We consider the class of path-conjunctive queries and constraints (dependencies) defined over complex values with dictionaries. This class includes the relational conjunctive queries and embedded dependencies, as well as many interesting examples of complex value and oodb queries and integrity constraints. We show that some important classical results on containment, dependency implication, and chasing extend and generalize to this class.