Containment of Conjunctive Queries with Negation: Algorithms and Experiments

We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other known algorithms in databases, and analyze it experimentally. Secondly, we present a new algorithm based on the translation of the containment problem into the problem of checking the unsatisfiability of a propositional logical formula, which allows us to use a SAT solver, and we experimentally compare both algorithms.

• Type: Conference
• Year: 2010
• Where: DEXA
• Authors: Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier
• Keywords: Algorithms, Conjunctive Queries, Containment Problem, Database, DEXA 2010