Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming

ICLP 2001: Logic Programming pp 348–364Cite as

A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2237))

Abstract

In this paper we present a logic programming based framework for the integration of possibly inconsistent databases. In particular we consider the problemof ‘merging’ databases and, since the resulting ‘merged’ database may be inconsistent (with respect to the constraints defined on the input databases or with respect to additional constraints), we address the problemof managing inconsistent databases. We propose a general logic framework for computing repairs and consistent answers over inconsistent databases. The logic framework and the techniques for computing repairs and consistent answers proposed here are more general than previously proposed techniques. Indeed, our technique is sound and complete for universally quantified constraints whereas previous defined techniques only consider restricted cases.

Work partially supported by MURST grants under the projects “Data-X” and “D2I”. The second author is also supported by ISI-CNR.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Argaval, S., Keller, A. M., Wiederhold, G., Saraswat, K., Flexible Relation: an Approach for Integrating Data fromMultiple, Possibly Inconsistent Databases. Proc. Int. Conf. on Data Engineering, pages 495–504, 1995.

    Google Scholar 

  2. Arenas, M., Bertossi, L., Chomicki, J., Consistent Query Answers in Inconsistent Databases. Proc. Int. Conf. on Principles of Database Systems, pages 68–79, 1999.

    Google Scholar 

  3. Arenas, M., Bertossi, L., Chomicki, J., Specifying and Querying Database repairs using Logic Programs with Exceptions. FQAS Conf., pages 27–41, 2000.

    Google Scholar 

  4. Baral, C., Kraus, S., Minker, J., Combining Multiple Knowledge Bases. IEEETKDE, Vol. 3, No. 2, pages 208–220, 1991.

    Google Scholar 

  5. Baral, C., Kraus, S., Minker, J., Subrahmanian, V. S., Combining Knowledge Bases Consisting of First Order Theories. Proc. ISMIS Conf., pages 92–101, 1991.

    Google Scholar 

  6. Bry, F., Query Answering in Information System with Integrity Constraints, Proc. IFIP 11.5Working Conf., 1997.

    Google Scholar 

  7. Dung, P. M., Integrating Data fromP ossibly Inconsistent Databases. Proc. CoopIS Conf., pages 58–65, 1996.

    Google Scholar 

  8. Eiter, T., Gottlob, G., Mannila, H., Disjunctive Datalog, ACM Transaction on Database Systems, Vol. 22, No. 3, pages 364–418, 1997.

    Article  Google Scholar 

  9. Gelfond, M., Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, No. 9, pages 365–385, 1991.

    Google Scholar 

  10. Greco, G., Greco, S., Zumpano, E., A Logical Framework for Querying and Repairing Inconsistent Databases. ISI-CNR Technical Report, 2001.

    Google Scholar 

  11. Greco, S., Saccá, D., Negative Logic Programs. North American Conf. on Logic Progr., pages 480–497, 1990.

    Google Scholar 

  12. Greco, S., Zumpano E., Querying Inconsistent Databases Proc. Int. Conf. on Logic for Programming and Automatic Reasoning, pages 308–325, 2000.

    Google Scholar 

  13. Grant, J., Subrahmanian, V. S., Reasoning in Inconsistent Knowledge Bases. IEEE Transaction of Knowledge and Data Engineering, Vol. 7, No. 1, pages 177–189, 1995.

    Article  MathSciNet  Google Scholar 

  14. Kanellakis, P. C., Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Vol. 2, J. van Leewen (ed.), North-Holland, 1991.

    Google Scholar 

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

    Article  Google Scholar 

  16. Lin, J., A Semantics for Reasoning Consistently in the Presence of Inconsistency. Artificial Intelligence, Vol. 86, No. 1, pages 75–95, 1996.

    Article  MathSciNet  Google Scholar 

  17. Lin, J., Integration of Weighted Knowledge Bases. Artificial Intelligence, Vol. 83, No. 2, pages 363–378, 1996.

    Article  MathSciNet  Google Scholar 

  18. Lin, J., Mendelzon, A. O., Knowledge Base Merging by Majority, in Dynamic Worlds: From the Frame Problem to Knowledge Management, R. Pareschi and B. Fronhoefer (eds.), Kluwer, 1999.

    Google Scholar 

  19. Pereira, L.M., Alferes, J.J., Aparicio, J. N., The Extended Stable Models of Contradiction Removal Semantics, 5th Portuguese AI Conference, pages 105–119, 1991.

    Google Scholar 

  20. Sakama, C., Inoue, K., Priorized logic programming and its application to commonsense reasoning. Artificial Intelligence, No. 123, pages 185–222, 2000.

    Google Scholar 

  21. Subrahmanian, V. S., Amalgamating Knowledge Bases. ACM Transaction on Database Systems, Vol. 19, No. 2, pages 291–331, 1994.

    Article  MathSciNet  Google Scholar 

  22. Ullman, J. K., Principles of Database and Knowledge-Base Systems, Vol. 1, Computer Science Press, 1988.

    Google Scholar 

  23. Yan, L.L., Ozsu, M.T., Conflict Tolerant Queries in Aurora. Proc. Int. Conf. on Cooperative Information Systems, pages 279–290, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Università della Calabria, 87030, Rende, Italy

    Gianluigi Greco, Sergio Greco & Ester Zumpano

Authors
  1. Gianluigi Greco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Greco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ester Zumpano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIP6, case 169, University of Paris 6, 8 rue du Capitaine Scott, 75015, Paris, France

    Philippe Codognet

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Greco, G., Greco, S., Zumpano, E. (2001). A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases. In: Codognet, P. (eds) Logic Programming. ICLP 2001. Lecture Notes in Computer Science, vol 2237. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45635-X_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-45635-X_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42935-7

  • Online ISBN: 978-3-540-45635-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation