Efficient optimization of a class of relational expressions
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Some properties of relational expressions
ACM-SE 17 Proceedings of the 17th annual Southeast regional conference
An extended relational algebra with control over duplicate elimination
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Constraints and redundancy in datalog
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The complexity of querying indefinite data about linearly ordered domains
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
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database querying and constraint programming
ACM SIGACT News
Constraint programming and database languages: a tutorial
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
Solving satisfiability and implication problems in database systems
ACM Transactions on Database Systems (TODS)
Perspectives on database theory
ACM SIGACT News
Answering queries using limited external query processors (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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 containment and equivalence of database queries with linear constraints (extended abstract)
PODS '97 Proceedings of the sixteenth 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
On the complexity of the containment problem for conjunctive queries with built-in predicates
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
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query containment for data integration systems
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Relational queries over interpreted structures
Journal of the ACM (JACM)
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Enhancing data warehouse performance through query caching
ACM SIGMIS Database
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Answering queries using views with arithmetic comparisons
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
ACM SIGMOD Record
Design and Implementation of a Semantic Query Optimizer
IEEE Transactions on Knowledge and Data Engineering
Controlled Generation of Intensional Answers
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for Implication Testing Involving Arithmetic Inequalities
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
On query optimization in a temporal SPC algebra
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
Why and Where: A Characterization of Data Provenance
ICDT '01 Proceedings of the 8th 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
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
A Tractable Query Cache by Approximation
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
A Scalable Algorithm for Answering Queries Using Views
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Multiple-View Self-Maintenance in Data Warehousing Environments
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Algorithms for Rewriting Aggregate Queries Using Views
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
View-Based Query Answering and Query Containment over Semistructured Data
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Maintenance of implication integrity constraints under updates to constraints
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
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
Source integration for data warehousing
Multidimensional databases
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
Information and Computation - TACS 2001
Reasoning on regular path queries
ACM SIGMOD Record
Expressing and optimizing sequence queries in database systems
ACM Transactions on Database Systems (TODS)
Bucket-Based Query Rewriting with Disjunctive Data Source
WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Constructing search spaces for materialized view selection
Proceedings of the 7th ACM international workshop on Data warehousing and OLAP
Checking query containment with the CQC method
Data & Knowledge Engineering
Decidable containment of recursive queries
Theoretical Computer Science - Database theory
Answering queries with arithmetic expressions in heterogeneous systems
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Proving the Safety of SQL Queries
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
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
On the efficiency of checking perfect privacy
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Semantic errors in SQL queries: A quite complete list
Journal of Systems and Software - Special issue: Quality software
Deciding equivalences among conjunctive aggregate queries
Journal of the ACM (JACM)
Rewriting queries using views in the presence of arithmetic comparisons
Theoretical Computer Science
Index-based multidimensional array queries: safety and equivalence
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment of nested XML queries
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Data exchange in the presence of arithmetic comparisons
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Complexity and composition of synthesized web services
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressiveness and complexity of XML publishing transducers
ACM Transactions on Database Systems (TODS)
A unified apriori-like algorithm for conjunctive query containment
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Simulation Subsumption or Déjà vu on the Web
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
A Top-Down Approach to Rewriting Conjunctive Queries Using Views
Semantics in Data and Knowledge Bases
On keys, foreign keys and nullable attributes in relational mapping systems
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Privacy policy enforcement for health information data access
Proceedings of the 1st ACM international workshop on Medical-grade wireless networks
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
Equivalence of SQL queries in presence of embedded dependencies
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Systematic Exploration of Efficient Query Plans for Automated Database Restructuring
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Approximate Rewriting of Queries Using Views
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Verification of knowledge bases based on containment checking
Artificial Intelligence
Automated reformulation of specifications by safe delay of constraints
Artificial Intelligence
Query containment under bag and bag-set semantics
Information Processing Letters
Efficient multiple assignment to database tables
AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Four lessons in versatility or how query languages adapt to the web
Semantic techniques for the web
Rethinking database updates using a multiple assignment-based approach
WSEAS Transactions on Computers
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
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
Journal of Computer and System Sciences
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of tree pattern containment with arithmetic comparisons
Information Processing Letters
Bag equivalence of tree patterns
ACM Transactions on Database Systems (TODS)
Containment of conjunctive queries over databases with null values
ICDT'07 Proceedings of the 11th international conference on Database Theory
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
A unified framework for heterogeneous patterns
Information Systems
Conjunctive queries with constraints: homomorphism, containment and rewriting
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge 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
Proceedings of the VLDB Endowment
ACM Transactions on Database Systems (TODS)
An update on query answering with restricted forms of negation
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule 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
Classification of annotation semirings over containment of conjunctive queries
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.01 |
Conjunctive queries are generalized so that inequality comparisons can be made between elements of the query. Algorithms for containment and equivalence of such “inequality queries” are given, under the assumption that the data domains are dense and totally ordered. In general, containment does not imply the existence of homomorphisms (containment mappings), but the homomorphism property does exist for subclasses of inequality queries. A minimization algorithm is defined using the equivalence algorithm. It is first shown that the constants appearing in a query can be divided into “essential” and “nonessential” subgroups. The minimum query can be nondeterministically guessed using only the essential constants of the original query.