Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Methodologies for Intelligent Systems

ISMIS 2002: Foundations of Intelligent Systems pp 274–284Cite as

A Logic Framework for the Integration of Databases

Part of the Lecture Notes in Computer Science book series (LNAI,volume 2366)

Abstract

In this paper we present a logic programming based framework for the integration of databases. Our framework is based on a logic language obtained by extending Datalog with several constructs such as choice, set constructors, aggregates. We show that the extended language can be profitable used to easily implement most of the integration techniques defined in the literature and define more general techniques.

Keywords

  • Logic Program
  • Integrity Constraint
  • Logic Framework
  • Logic Language
  • Aggregate Function

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Work partially supported by a 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, access via your institution.

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (Canada)
  • 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. Abiteboul, S., Hull, R., Vianu, V. Foundations of Databases. Addison-Wesley, 1994.

    Google Scholar 

  2. Agarwal, S., Keller, A. M., Wiederhold, G., Saraswat, K., Flexible Relation: an Approach for Integrating Data from Multiple, Possibly Inconsistent Databases. Proc. Int. Conf. on Data Engineering, 1995.

    Google Scholar 

  3. Arenas, M., Bertossi, L., Chomicki, J., Consistent Query Answers in Inconsistent Databases. PODS Conf., 1999.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. Dung, P. M., Integrating Data from Possibly Inconsistent Databases. CoopIS Conf., pp. 58–65, 1996.

    Google Scholar 

  9. Gelfond, M., Lifschitz, V. The Stable Model Semantics for Logic Programming, ICLP Conf. pp. 1070–1080, 1988.

    Google Scholar 

  10. Grant, J., Subrahmanian, V. S., Reasoning in Inconsistent Knowledge Bases. IEEETKDE, Vol. 7, No. 1, pp. 177–189, 1995.

    Google Scholar 

  11. Greco, S., Zumpano E., Querying Inconsistent Database LPAR Conf., pp. 308–325, 2000.

    Google Scholar 

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

    Google Scholar 

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

    CrossRef  MathSciNet  Google Scholar 

  14. 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 

  15. Lloyd, J., Foundation of Logic Programming. Spinger-Verlag, 1987.

    Google Scholar 

  16. Pradhan, S., J. Minker, J., Subrahmanian, V.S., Combining Databases with Prioritized Information JIIS, 4(3), pp. 231–260, 1995.

    Google Scholar 

  17. Subrahmanian, V. S., Amalgamating Knowledge Bases. ACM-TODS, Vol. 19, No. 2, pp. 291–331, 1994.

    CrossRef  MathSciNet  Google Scholar 

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

    Google Scholar 

  19. Yan, L.L., Ozsu, M.T., Conflict Tolerant Queries in Aurora. In CoopIS Conf., pp. 279–290, 1999.

    Google Scholar 

  20. Zaniolo, C, Ami, N., Ong, Q., The LDL++ system TKDE, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Univ. 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. UFR d’Informatique, Université Claude Bernard Lyon I, 8, boulevard Niels Bohr, 69622, Villeurbanne Cedex, France

    Mohand-Saïd Hacid

  2. Dept. of Computer Science College of IT, University of North Carolina, Charlotte, NC, 28223, USA

    Zbigniew W. Raś

  3. Băt. L. Equipe de Recherche en Ingénierie des Connaissances, Université Lumière Lyon 2, 5, avenue Pierre Mendes-France, 69676, Bron Cedex, France

    Djamel A. Zighed

  4. LRI, Université Paris Sud, Băt. 490, 91405, Orsay Cedex, France

    Yves Kodratoff

Rights and permissions

Reprints and Permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Greco, G., Greco, S., Zumpano, E. (2002). A Logic Framework for the Integration of Databases. In: Hacid, MS., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds) Foundations of Intelligent Systems. ISMIS 2002. Lecture Notes in Computer Science(), vol 2366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48050-1_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-48050-1_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48050-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

search

Navigation