Query Answering in Inconsistent Databases

In this chapter, we summarize the research on querying inconsistent databases that we have been conducting during the last five years. The formal framework that we have used is based on two concepts: repair and consistent query answer. We describe different approaches to the issue of computing consistent query answers: query transformation, logic programming, inference in annotated logics, and specialized algorithms. We also characterize the computational complexity of this problem. Finally, we discuss related research in artificial intelligence, databases, and logic programming.

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

[2]  Wolfgang Faber,et al.  Declarative problem-solving using the DLV system , 2000 .

[3]  John Grant,et al.  Integrity Constraints: Semantics and Applications , 1998, Logics for Databases and Information Systems.

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

[5]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[6]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[7]  Raymond Reiter,et al.  What should a database know? , 1988, PODS '88.

[8]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[9]  Jan Chomicki,et al.  Consistent Answers from Integrated Data Sources , 2002, FQAS.

[10]  Joann J. Ordille,et al.  Querying Heterogeneous Information Sources Using Source Descriptions , 1996, VLDB.

[11]  P. Smets,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol 3 , 1998 .

[12]  Jeffrey D. Ullman,et al.  Information integration using logical views , 1997, Theor. Comput. Sci..

[13]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[14]  Alon Y. Halevy,et al.  Recursive Query Plans for Data Integration , 2000, J. Log. Program..

[15]  Gio Wiederhold,et al.  Flexible relation: an approach for integrating data from multiple, possibly inconsistent databases , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[16]  Camilla Schwind,et al.  Analytic Tableaux and Database Repairs: Foundations , 2002, FoIKS.

[17]  Paris C. Kanellakis,et al.  Elements of Relational Database Theory , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[18]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[19]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[20]  Jan Chomicki,et al.  Scalar Aggregation in FD-Inconsistent Databases , 2001, ICDT.

[21]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[22]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[23]  Jan Chomicki,et al.  On the Computational Complexity of Consistent Query Answers , 2002, ArXiv.

[24]  Michael Kifer,et al.  Applications of Annotated Predicate Calculus to Querying Inconsistent Databases , 2000, Computational Logic.

[25]  Amihai Motro,et al.  Multiplex: A Formal Model for Multidatabases and Its Implementation , 1999, NGITS.

[26]  Francesco Scarcello,et al.  Census Data Repair: a Challenging Application of Disjunctive Logic Programming , 2001, LPAR.

[27]  Michael Kifer,et al.  A logic for reasoning with inconsistency , 1992, Journal of Automated Reasoning.

[28]  Ron van der Meyden,et al.  Logical Approaches to Incomplete Information: A Survey , 1998, Logics for Databases and Information Systems.

[29]  Walter Alexandre Carnielli,et al.  A Logical Framework for Integrating Inconsistent Information in Multiple Databases , 2002, FoIKS.

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

[31]  Jef Wijsen,et al.  Condensed Representation of Database Repairs for Consistent Query Answering , 2003, ICDT.

[32]  James J. Lu,et al.  Query processing in annotated logic programming: Theory and implementation , 2004, Journal of Intelligent Information Systems.

[33]  Sergio Greco,et al.  A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases , 2001, ICLP.

[34]  Maurice Bruynooghe,et al.  Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning , 2002, Paraconsistent Computational Logic.

[35]  William T. Faricy.  A.A.R. , 1951 .

[36]  Xin He,et al.  Scalar aggregation in inconsistent databases , 2003, Theor. Comput. Sci..

[37]  Sergio Greco,et al.  DATALOG Queries with Stratified Negation and Choice: from P to DP , 1995, ICDT.

[38]  Sergio Greco,et al.  Computing repairs for inconsistent databases , 2001, Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications. CODAS 2001.

[39]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[40]  Laurence Cholvy.  Querying an inconsistent database , 1990 .

[41]  Alon Y. Levy.  Logic-based techniques in data integration , 2001 .

[42]  John Grant,et al.  A logic-based approach to data integration , 2001, Theory and Practice of Logic Programming.

[43]  Tomasz Imielinski,et al.  Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information , 1995, J. Comput. Syst. Sci..

[44]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, FSTTCS.

[45]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

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

[47]  Dennis Shasha,et al.  Declarative Data Cleaning: Language, Model, and Algorithms , 2001, VLDB.

[48]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[49]  Shekhar Pradhan.  Semantics of normal logic programs and contested information , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[50]  Leopoldo E. Bertossi,et al.  Repairing databases with annotated predicate logic , 2002, NMR.

[51]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[52]  Paola Inverardi,et al.  Integrity Constraints as Views in Deductice Databases , 1996, FMLDO.

[53]  Sarit Kraus,et al.  Combining Knowledge Bases Consisting of First Order Theories , 1991, ISMIS.

[54]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[55]  Joann J. Ordille,et al.  Query-Answering Algorithms for Information Agents , 1996, AAAI/IAAI, Vol. 1.

[56]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[57]  Alberto O. Mendelzon,et al.  Merging Databases Under Constraints , 1998, Int. J. Cooperative Inf. Syst..

[58]  Sergio Greco,et al.  Querying Inconsistent Databases , 2000, LPAR.

[59]  Maurizio Lenzerini,et al.  Source inconsistency and incompleteness in data integration , 2002, KRDB.

[60]  François Bry,et al.  Query Answering in Information Systems with Integrity Constraints , 1997, IICIS.

[61]  Michael Gertz,et al.  An Extensible Framework for Repairing Constraint Violations , 1996, IICIS.

[62]  Alberto O. Mendelzon,et al.  Tableau Techniques for Querying Information Sources through Global Schemas , 1999, ICDT.

[63]  Marianne Winslett,et al.  A model-based belief revision system , 1994, Journal of Automated Reasoning.

[64]  B. H. Slater,et al.  Paraconsistent logics? , 1995, J. Philos. Log..

[65]  Dino Pedreschi,et al.  Datalog with Non-Deterministic Choice Computers NDB-PTIME , 1998, J. Log. Program..

[66]  Phan Minh Dung,et al.  Integrating data from possibly inconsistent databases , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[67]  Arnon Avron,et al.  A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases , 1999, Journal of Automated Reasoning.

[68]  Satyabrata Pradhan.  Reasoning with Con?icting Information in Arti?cial Intelligence and Database Theory , 2001 .

[69]  Jan Chomicki,et al.  Specifying and Querying Database Repairs using Logic Programs with Exceptions , 2000, FQAS.

[70]  Tomasz Imielinski,et al.  Incomplete object—a data model for design and planning applications , 1991, SIGMOD '91.

[71]  Amihai Motro,et al.  Superviews: Virtual Integration of Multiple Databases , 1987, IEEE Transactions on Software Engineering.

[72]  C. Damásio,et al.  A survey of paraconsistent semantics for logic programs , 1998 .

[73]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[74]  Eliezer L. Lozinskii,et al.  Resolving contradictions: A plausible semantics for inconsistent systems , 1994, Journal of Automated Reasoning.

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

[76]  Francesco Scarcello,et al.  Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..

[77]  D. Hochbaum.  Approximating covering and packing problems: set cover, vertex cover, independent set, and related problems , 1996 .

[78]  Michael Gertz,et al.  Diagnosis and Repair of Constraint Violations in Database Systems , 1996, Datenbank Rundbr..

[79]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[80]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.

[81]  Rina Dechter,et al.  Propositional semantics for disjunctive logic programs , 1994, Annals of Mathematics and Artificial Intelligence.

[82]  Newton C. A. da Costa,et al.  Paraconsistent logic in a historical perspective , 1995 .

[83]  Raymond Reiter.  What Should a Database Know? , 1992, J. Log. Program..

[84]  Leopoldo E. Bertossi,et al.  Logic Programs for Consistently Querying Data Integration Systems , 2003, IJCAI.

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

[86]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[87]  Alon Y. Levy.  Combining artificial intelligence and databases for data integration , 1999 .

[88]  Ofer Arieli,et al.  Paraconsistent Semantics for Extended Logic Programs , 2002, IC-AI.

[89]  Leopoldo Bertossi.  Answer Sets for Consistent Query Answering in In onsistent DatabasesMar elo , 2002 .

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

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

[92]  V. S. Subrahmanian.  Amalgamating knowledge bases , 1994, TODS.

[93]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[94]  Jan Chomicki,et al.  Minimal-change integrity maintenance using tuple deletions , 2002, Inf. Comput..

[95]  Sergio Greco,et al.  Programming with non-determinism in deductive databases , 2004, Annals of Mathematics and Artificial Intelligence.

[96]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[97]  Francesco Buccafurri,et al.  Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..

[98]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[99]  A. Brandstädt,et al.  Graph Classes: A Survey , 1987 .

[100]  Jinxin Lin,et al.  A Semantics for Reasoning Consistently in the Presence of Inconsistency , 1996, Artif. Intell..

[101]  Jarek Gryz,et al.  Query Rewriting Using Views in the Presence of Functional and Inclusion Dependencies , 1999, Inf. Syst..

[102]  Moshe Y. Vardi.  The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.

[103]  Victor W. Marek,et al.  Revision Programming , 1998, Theor. Comput. Sci..

[104]  Wolfgang Faber,et al.  Declarative problem-solving in DLV , 2001 .

[105]  Robert A. Kowalski,et al.  A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..

[106]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[107]  Camilla Schwind,et al.  Database Repairs and Analytic Tableaux , 2002, Annals of Mathematics and Artificial Intelligence.

[108]  Bashar Nuseibeh,et al.  Leveraging Inconsistency in Software Development , 2000, Computer.

[109]  R A Kowalski,et al.  Abductive Logic Programming 1 , 1993 .