The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

We present the Consistency Extractor System(ConsEx) that uses answer set programmingto compute consistent answers to first-order queries posed to relational databases that may be inconsistent wrt their integrity constraints. Among other features, ConsEximplements a magic setstechnique to evaluate queries via disjunctive logic programs with stable model semantics that specify the repair of the original database. We describe the methodology and the system; and also present some experimental results.

[1]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 1997, Proceedings of Computational Complexity. Twelfth Annual IEEE Conference.

[2]  Leopoldo E. Bertossi,et al.  Querying Inconsistent Databases: Algorithms and Implementation , 2000, Computational Logic.

[3]  Leopoldo E. Bertossi,et al.  Semantically Correct Query Answers in the Presence of Null Values , 2006, EDBT Workshops.

[4]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[5]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[6]  Leopoldo E. Bertossi,et al.  Consistent query answering in databases , 2006, SGMD.

[7]  Sergio Greco,et al.  Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries , 2003, IEEE Trans. Knowl. Data Eng..

[8]  Gunter Saake,et al.  Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.

[9]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[10]  Sergio Greco,et al.  A Logical Framework for Querying and Repairing Inconsistent Databases , 2003, IEEE Trans. Knowl. Data Eng..

[11]  Jan Chomicki,et al.  Consistent query answers in inconsistent databases , 1999, PODS '99.

[12]  Thomas Eiter,et al.  Efficient Evaluation of Logic Programs for Querying Data Integration Systems , 2003, ICLP.

[13]  Bernhard Thalheim,et al.  Semantics in Databases , 2001, Semantics in Databases.

[14]  Leopoldo E. Bertossi,et al.  Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets , 2001, Semantics in Databases.

[15]  Leopoldo E. Bertossi,et al.  Logic Programs for Querying Inconsistent Databases , 2003, PADL.

[16]  Jan Chomicki,et al.  Answer sets for consistent query answering in inconsistent databases , 2002, Theory and Practice of Logic Programming.

[17]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[18]  Wolfgang Faber,et al.  Magic Sets and their application to data integration , 2007, J. Comput. Syst. Sci..

[19]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[20]  Jan Chomicki,et al.  Computing consistent query answers using conflict hypergraphs , 2004, CIKM '04.

[21]  Leopoldo E. Bertossi,et al.  Optimizing repair programs for consistent query answering , 2005, XXV International Conference of the Chilean Computer Science Society (SCCC'05).

[22]  Wolfgang Faber,et al.  Enhancing the Magic-Set Method for Disjunctive Datalog Programs , 2004, ICLP.

[23]  Torsten Schaub,et al.  Inconsistency Tolerance , 2005, Lecture Notes in Computer Science.

[24]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[25]  Jef Wijsen,et al.  Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers , 2006, EDBT Workshops.

[26]  Luís Moniz Pereira,et al.  Computational Logic — CL 2000 , 2000, Lecture Notes in Computer Science.

[27]  Jan Chomicki,et al.  On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases , 2005, Inconsistency Tolerance.

[28]  Loreto Bravo,et al.  Handling inconsistency in databases and data integration systems , 2007 .

[29]  Riccardo Rosati,et al.  On the First-Order Reducibility of Unions of Conjunctive Queries over Inconsistent Databases , 2006, EDBT Workshops.

[30]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[31]  Sergio Greco,et al.  Optimization of bound disjunctive queries with constraints , 2004, Theory and Practice of Logic Programming.

[32]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[33]  Jan Chomicki,et al.  Query Answering in Inconsistent Databases , 2003, Logics for Emerging Applications of Databases.

[34]  Leopoldo E. Bertossi,et al.  Consistent query answering under inclusion dependencies , 2004, CASCON.

[35]  Renée J. Miller,et al.  ConQuer: efficient management of inconsistent databases , 2005, SIGMOD '05.

[36]  Monica Caniupan,et al.  Optimizing and implementing repair programs for consistent query answering in databases , 2007 .

[37]  Andrea Calì,et al.  On the decidability and complexity of query answering over inconsistent and incomplete databases , 2003, PODS.