Skip to main content
SpringerLink
Log in

Querying Inconsistent Databases

  • Conference paper
  • First Online:
Logic for Programming and Automated Reasoning (LPAR 2000)

Part of the book series: Lecture Notes in Artificial Intelligence ((LNAI,volume 1955))

Abstract

In this paper we consider the problem of answering queries consistently in the presence of inconsistent data, i.e. data violating integrity constraints. We propose a technique based on the rewriting of integrity constraints into disjunctive rules with two di.erent forms of negation (negation as failure and classical negation). The disjunctive program can be used i) to generate ‘repairs’ for the database and ii) to produce consistent answers, i.e. maximal set of atoms which do not violate the constraints. We show that our technique is sound, complete and more general than techniques previously proposed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Argaval, A.M. Keller, G. Wiederhold, and K. Saraswat. Flexible Relation: an Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. In IEEE Int. Conf. on Data Engineering,1995. 310, 322

    Google Scholar 

  2. Bry, F., Query Answering in Information System with Integrity Constraints, In IFIP WG 11.5 Working Conf. on Integrity and Control in Inform. System, 1997. 310

    Google Scholar 

  3. C. Baral, S. Kraus, J. Minker, Combining Multiple Knowledge Bases. IEEE-Trans. on Knowledge and Data Engineering, 3(2): 208–220 (1991) 310, 322

    Google Scholar 

  4. C. Baral, S. Kraus, F. Minker, V. S. Subrahmanian, Combining Knowledge Bases Consisting of First Order Theories. ISMIS 1991: 92–101. 310

    Google Scholar 

  5. M. Arenas, L. Bertossi, J. Chomicki Consistent Query Answers in Inconsistent Databases. Proc. PODS 1999, pp. 68–79, 1999. 309, 309, 310, 310, 323, 323, 323, 323, 323, 323, 323, 324

    Google Scholar 

  6. P. M. Dung, Integrating Data from Possibly Inconsistent Databases. Proc. Int. Conf. on Cooperative Information Systems, 1996: 58–65 310, 322

    Google Scholar 

  7. T. Eiter, G. Gottlob and H. Mannila, Disjunctive Datalog, ACM Transactions on Database Systems, 22(3):364–418, 1997

    Article  Google Scholar 

  8. Fernandez, J. A., and Minker, J. Computing perfect models of disjunctive stratified databases. In Proc. ILPS’91 W. on Disj. Logic Progr., pp. 110–117, 1991.

    Google Scholar 

  9. Gelfond, M., Lifschitz, V. The Stable Model Semantics for Logic Programming, in Proc. of Fifth Conf. on Logic Programming, pp. 1070–1080, 1988. 311

    Google Scholar 

  10. Gelfond, M. and Lifschitz, V. (1991), Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9, 365–385. 311, 312

    Article  Google Scholar 

  11. S. Greco, D. Saccà, Negative Logic Programs. in North American Conference on Logic Programming, pages 480–497, 1990. 312

    Google Scholar 

  12. Greco, S., Binding Propagation in Disjunctive Databases, Proc. Int. Conf. on Very Large Data Bases, 1997.

    Google Scholar 

  13. Greco, S., Minimal founded semantics for disjunctive logic programming, Int. Conf. on Logic Programming and Nonmonotonic Reasoning, 1999.

    Google Scholar 

  14. J. Grant, V. S. Subrahmanian: Reasoning in Inconsistent Knowledge Bases. IEEETrans. on Knowledge and Data Eng., 7(1): 177–189 (1995) 310

    Article  MathSciNet  Google Scholar 

  15. Eiter T., N. Leone, C. Mateis, G. Pfeifer and F. Scarcello. A Deductive System for Non-monotonic Reasoning. Proc. LPNMR Conf., 1997. 363–374. 323, 324

    Google Scholar 

  16. R. A. Kowalski, F. Sadri, Logic Programs with Exceptions. New Generation Computing, Vol. 9, No. 3/4, pages 387–400, 1991. 312

    Google Scholar 

  17. J. Lin, A Semantics for Reasoning Consistently in the Presence of Inconsistency. Artificial Intelligence 86(1): 75–95 (1996). 310

    Article  MathSciNet  Google Scholar 

  18. J. Lin, Integration of Weighted Knowledge Bases. Artificial Intelligence 83(2): 363–378 (1996) 310

    Article  MathSciNet  Google Scholar 

  19. J. Lin, A. O. Mendelzon, Merging Databases Under Constraints. Int. Journal of Cooperative Information Systems 7(1): 55–76 (1998) 309, 310

    Article  Google Scholar 

  20. J. Lin, A. O. Mendelzon, Knowledge Base Merging by Majority, in R. Pareschi and B. Fronhoefer (eds.), Dynamic Worlds, Kluwer, 1999. 310, 322

    Google Scholar 

  21. Minker, J. On Indefinite Data Bases and the Closed World Assumption, Proc. 6-th Conf. on Automated Deduction, pp. 292–308, 1982. 311

    Google Scholar 

  22. J.M. Nicolas, Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, No. 18, pages 227–253, 1982. 309

    Google Scholar 

  23. V.S. Subrahmanian, Amalgamating Knowledge Bases. TODS 19(2): 291–331 (1994) 310, 323

    Article  MathSciNet  Google Scholar 

  24. J.K. Ullman, Principles of Database and Knowledge-Base Systems, Vol. 1, Computer Science Press, Rockville, Md., 1988. 315

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Univ. della Calabria, 87030, Rende, Italy

    Sergio Greco & Ester Zumpano

Authors
  1. Sergio Greco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ester Zumpano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CNRS, Université de Paris 7, case 7012, 2 place Jussieu, 75251, Paris Cedex 05, France

    Michel Parigot

  2. Computer Science Department, University of Manchester, Oxford Rd, M13 9PL, Manchester, UK

    Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Greco, S., Zumpano, E. (2000). Querying Inconsistent Databases. In: Parigot, M., Voronkov, A. (eds) Logic for Programming and Automated Reasoning. LPAR 2000. Lecture Notes in Artificial Intelligence(), vol 1955. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44404-1_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-44404-1_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41285-4

  • Online ISBN: 978-3-540-44404-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation