The theory of joins in relational databases
ACM Transactions on Database Systems (TODS)
Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
Decomposition—a strategy for query processing
ACM Transactions on Database Systems (TODS)
Optimizing the performance of a relational algebra database interface
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Performing inferences over relation data bases
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
A complete axiomatization for functional and multivalued dependencies in database relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Computers and Intractability; A Guide to the Theory of NP-Completeness
Computers and Intractability; A Guide to the Theory of NP-Completeness
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Optimization of queries in relational databases.
Optimization of queries in relational databases.
Parallel evaluation of recursive rule queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Answering queries on embedded-complete database schemes
Journal of the ACM (JACM)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Minimizing function-free recursive inference rules
Journal of the ACM (JACM)
Efficient optimization of simple chase join expressions
ACM Transactions on Database Systems (TODS)
Hard problems for simple logic programs
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Evaluation of queries in independent database schemes
Journal of the ACM (JACM)
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
Formal semantics of SQL queries
ACM Transactions on Database Systems (TODS)
Containment and minimization of positive conjunctive queries in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimization of real conjunctive queries
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finding nonrecursive envelopes for Datalog predicate
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of equivalence between recursive and nonrecursive Datalog programs
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Containment of conjunctive queries: beyond relations as sets
ACM Transactions on Database Systems (TODS)
Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering queries using templates with binding patterns (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semantic query optimization in Datalog programs (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Applying an update method to a set of receivers (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Perspectives on database theory
ACM SIGACT News
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
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth 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
Deciding equivalences among aggregate queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Capabilities-Based Query Rewriting in Mediator Systems
Distributed and Parallel Databases - Special issue on parallel and distributed information systems
Polynomial-time program transformations in deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Semigroup techniques in recursive query optimization
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Graph Ramsey theory and the polynomial hierarchy
STOC '99 Proceedings of the thirty-first annual ACM symposium on Theory of computing
Rewriting aggregate queries using views
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query rewriting for semistructured data
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Determining View dependencies using tableaux
ACM Transactions on Database Systems (TODS)
A characterization of globally consistent databases and their correct access paths
ACM Transactions on Database Systems (TODS)
Locking Expressions for Increased Database Concurrency
Journal of the ACM (JACM)
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Query containment for data integration systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query Optimization in Database Systems
ACM Computing Surveys (CSUR)
Equivalences among aggregate queries with negation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Answering queries with useful bindings
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
On the computation of relational view complements
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Logic-based techniques in data integration
Logic-based artificial intelligence
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
The complexity of evaluating relational queries
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
A theory of data dependencies over relational expressions
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Optimal computation of total projections with unions of simple chase join expressions
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
ACM SIGMOD Record
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
Decidability of First-Order Logic Queries over Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Answering Queries in the Presence of Limited Access Patterns
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Minimizing View Sets without Losing Query-Answering Power
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Decidable Containment of Recursive Queries
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Containment of Conjunctive Queries with Safe Negation
ICDT '03 Proceedings of the 9th International Conference on Database Theory
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Optimization Properties for Classes of Conjunctive Regular Path Queries
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Query Transformation for PSJ-Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
A predicate-based caching scheme for client-server database architectures
The VLDB Journal — The International Journal on Very Large Data Bases
MiniCon: A scalable algorithm for answering queries using views
The VLDB Journal — The International Journal on Very Large Data Bases
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Monotonic complements for independent data warehouses
The VLDB Journal — The International Journal on Very Large Data Bases
Materializing views with minimal size to answer queries
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Representing and reasoning about mappings between domain models
Eighteenth national conference on Artificial intelligence
On the computation of relational view complements
ACM Transactions on Database Systems (TODS)
Query containment for data integration systems
Journal of Computer and System Sciences - Special issue on PODS 2000
On the containment of conjunctive queries
Computer Science in Perspective
Computing complete answers to queries in the presence of limited access patterns
The VLDB Journal — The International Journal on Very Large Data Bases
Reasoning on regular path queries
ACM SIGMOD Record
Towards an algebraic theory of information integration
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Processing first-order queries under limited access patterns
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On preservation under homomorphisms and unions of conjunctive queries
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic (TOCL)
Composition of mappings given by embedded dependencies
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Checking query containment with the CQC method
Data & Knowledge Engineering
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
XML Queries and constraints, containment and reformulation
Theoretical Computer Science - Database theory
On preservation under homomorphisms and unions of conjunctive queries
Journal of the ACM (JACM)
Equivalence of queries combining set and bag-set semantics
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The containment problem for Real conjunctive queries with inequalities
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Answering queries using materialized views with minimum size
The VLDB Journal — The International Journal on Very Large Data Bases
Composition of mappings given by embedded dependencies
ACM Transactions on Database Systems (TODS)
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM (JACM)
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing queries from derived relations
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Algorithms for acyclic database schemes
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Efficient XML-to-SQL query translation: where to add the intelligence?
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Data sharing through query translation in autonomous sources
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
On the minimization of XPath queries
Journal of the ACM (JACM)
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Towards a theory of schema-mapping optimization
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Propagating functional dependencies with conditions
Proceedings of the VLDB Endowment
Proceedings of the 12th International Conference on Database Theory
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
Containment between Unions of XPath Queries
DASFAA '09 Proceedings of the 14th International Conference on Database Systems for Advanced Applications
Equivalence of queries that are sensitive to multiplicities
The VLDB Journal — The International Journal on Very Large Data Bases
Equivalence of nested queries with mixed semantics
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Exploiting irrelevance reasoning to guide problem solving
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Verification of knowledge bases based on containment checking
Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Logical queries over views: Decidability and expressiveness
ACM Transactions on Computational Logic (TOCL)
Scalable delivery of stream query result
Proceedings of the VLDB Endowment
Normalization and optimization of schema mappings
Proceedings of the VLDB Endowment
Facilitating Workflow Interoperation Using Artifact-Centric Hubs
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Paralocks: role-based information flow control and beyond
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards an algebraic theory of information integration
Information and Computation
Query containment under bag and bag-set semantics
Information Processing Letters
Modular class analysis with DATALOG
SAS'03 Proceedings of the 10th international conference on Static analysis
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Computing query probability with incidence algebras
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Query optimization using local completeness
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Database theory: query languages
Algorithms and theory of computation handbook
Inheriting access control rules from large relational databases to materialized views automatically
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Verification of knowledge bases based on containment checking
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The impact of virtual views on containment
Proceedings of the VLDB Endowment
Proceedings of the 14th International Conference on Database Theory
Knowledge compilation meets database theory: compiling queries to decision diagrams
Proceedings of the 14th International Conference on Database Theory
On the optimal approximation of queries using tractable propositional languages
Proceedings of the 14th International Conference on Database Theory
Normalization and optimization of schema mappings
The VLDB Journal — The International Journal on Very Large Data Bases
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determining relevance of accesses at runtime
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Containment of conjunctive queries with arithmetic expressions
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Finding equivalent rewritings in the presence of arithmetic comparisons
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Authorization views and conditional query containment
ICDT'05 Proceedings of the 10th international conference on Database Theory
Rewriting queries using views with access patterns under integrity constraints
ICDT'05 Proceedings of the 10th international conference on Database Theory
Classification of annotation semirings over query containment
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
On the decidability and complexity of identity knowledge representation
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
ACM Transactions on Database Systems (TODS)
The dichotomy of probabilistic inference for unions of conjunctive queries
Journal of the ACM (JACM)
Semantic acyclicity on graph databases
Proceedings of the 32nd symposium on Principles of database systems
Query containment in entity SQL
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Scalable containment for unions of conjunctive queries under constraints
Proceedings of the Fifth Workshop on Semantic Web Information Management
On simplification of schema mappings
Journal of Computer and System Sciences
Reasoning about pattern-based XML queries
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Anytime approximation in probabilistic databases
The VLDB Journal — The International Journal on Very Large Data Bases
Hi-index | 0.01 |