Foundations of logic programming
Foundations of logic programming
On conjunctive queries containing inequalities
Journal of the ACM (JACM)
Foundations of deductive databases and logic programming
A completeness theorem for SLDNF resolution
Journal of Logic Programming
Proof-tree transformation theorems and their applications
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
First-order logic and automated theorem proving
First-order logic and automated theorem proving
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
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
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Subsumption between queries to object-oriented databases
Information Systems - Special issue on extending database technology
Semantic query optimization in Datalog programs (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Conjunctive query containment with respect to views and constraints
Information Processing Letters
The complexity of concept languages
Information and Computation
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
Deciding equivalences among aggregate queries
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Verification of knowledge bases based on containment checking
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Rewriting aggregate queries using views
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)
Static analysis in datalog extensions
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
Implication and Referential Constraints: A New Formal Reasoning
IEEE Transactions on Knowledge and Data Engineering
How to Tackle Schema Validation by View Updating
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Conjunctive Query Containment Revisited
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Containment of Conjunctive Queries with Safe Negation
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Generic Subsumption Testing Toolkit for Knowledge Based Queries
DEXA '96 Proceedings of the 7th International Conference on Database and Expert Systems Applications
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Computing explanations for unlively queries in databases
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
SVTe: a tool to validate database schemas giving explanations
Proceedings of the 1st international workshop on Testing database systems
Validation of mappings between schemas
Data & Knowledge Engineering
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Providing Explanations for Database Schema Validation
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
MVT: a schema mapping validation tool
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Reasoning on UML Conceptual Schemas with Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
On Containment of Conjunctive Queries with Negation
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Efficient multiple assignment to database tables
AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Rethinking database updates using a multiple assignment-based approach
WSEAS Transactions on Computers
A secured collaborative model for data integration in life sciences
Transactions on large-scale data- and knowledge-centered systems IV
Lightweight verification of executable models
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data & Knowledge Engineering
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
On the containment problem for queries in conjunctive form with negation
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Query containment in entity SQL
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Incremental mapping compilation in an object-to-relational mapping system
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Hi-index | 0.00 |
We present the Constructive Query Containment (CQC) method to check query containment and query containment under constraints for queries over databases with safe negation in both IDB and EDB subgoals and with or without built-in predicates. The aim of the CQC method is to construct a counterexample that proves that the query containment relationship being checked does not hold. The method uses different Variable Instantiation Patterns (VIPs) to generate only relevant counterexamples according to the syntactic properties of the queries and the databases considered in each test.The main contribution of the CQC method is threefold: it handles broader cases of queries and database schemas than most previous methods, it checks "true" containment instead of uniform containment (which is a sufficient but not necessary condition for containment) and it is not less efficient than other methods for the cases that they handle. Moreover, we prove also soundness and completeness of our method both for success and for failure.