Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic Programming and Nonmonotonic Reasoning

LPNMR 2005: Logic Programming and Nonmonotonic Reasoning pp 132–144Cite as

An ID-Logic Formalization of the Composition of Autonomous Databases

  • Conference paper

  • 423 Accesses

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

Abstract

We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions. We consider ID-logic theories that express, at the same time, the two basic challenges in database composition problems: relating different schemas of the local databases to one global schema (schema integration) and amalgamating the distributed and possibly contradictory data to one consistent database (data integration). We show that our framework supports different methods for schema integration (as well as their combinations) and that it provides a straightforward way of dealing with inconsistent data. Moreover, this framework facilitates the implementation of database repair and consistent query answering by means of a variety of reasoning systems.

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. Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS 1999, pp. 68–79 (1999)

    Google Scholar 

  2. Arenas, M., Bertossi, L., Chomicki, J.: Answer sets for consistent query answering in inconsistent databases. Theory and Practice of Logic Programming 3(4–5), 393–424 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  3. Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. Artif. Intelligence Research 21, 245–286 (2004)

    MATH  Google Scholar 

  4. Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Database repair by signed formulae. In: Seipel, D., Turull-Torres, J.M.a. (eds.) FoIKS 2004. LNCS, vol. 2942, pp. 14–30. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  5. Baral, C., Kraus, S., Minker, J.: Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Enginnering 3(2), 208–220 (1991)

    Article  Google Scholar 

  6. Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Computing Surveys 18(4), 323–364 (1986)

    Article  Google Scholar 

  7. Brachman, R., Levesque, H.: Knowledge representation and Reasoning. Morgan Kaufmann, San Francisco (2004)

    Google Scholar 

  8. Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. IJCAI 2003, pp. 10–15 (2003)

    Google Scholar 

  9. Bressan, S., Goh, C.H., Fynn, K., Jakobisiak, M., Hussein, K., Kon, H., Lee, T., Madnick, S., Pena, T., Qu, J., Shum, A., Siegel, M.: The context interchange mediator prototype. In: Proc. PODS 1997, pp. 525–527. ACM, New York (1997)

    Google Scholar 

  10. Calì, A., Calvanese, D., De Giacomo, G., Lanzerini, M.: Data integration under integrity constraints. Information Systems 29(2), 147–163 (2004)

    Article  Google Scholar 

  11. Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. PODS 2003, pp. 260–271. ACM, New York (2003)

    Chapter  Google Scholar 

  12. Denecker, M.: Extending classical logic with inductive definitions. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 703–717. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Trans. on Computational Logic 2(4), 623–654 (2001)

    Article  MathSciNet  Google Scholar 

  14. Denecker, M., De Schreye, D.: SLDNFA an abductive procedure for abductive logic programs. Journal of Logic Programming 34(2), 111–167 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  15. Denecker, M., Ternovska, E.: Inductive situation calculus. In: Proc. KR 2004, pp. 545–553. Morgan Kaufmann Publishers, San Francisco (2004)

    Google Scholar 

  16. Eiter, T., Fink, M., Greco, G., Lembo, D.: Efficient evaluation of logic programs for querying data integration systems. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 163–177. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  17. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR system dlv: Progress report, comparisons and benchmarks. In: Proc. KR 1998, pp. 406–417 (1998)

    Google Scholar 

  18. Franconi, E., Palma, A., Leone, N., Perri, D., Scarcello, F.: Census data repair: A challenging application of disjunctive logic programming. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 561–578. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  19. Friedman, M., Levy, A.Y., Millstein, T.D.: Navigational plans for data integration. In: Proc. 16th AAAI, pp. 67–73 (1999)

    Google Scholar 

  20. Kakas, A., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proc. IJCAI 2001, pp. 591–596 (2001)

    Google Scholar 

  21. Levy, A., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Proc. VLDB 1996, pp. 251–262 (1996)

    Google Scholar 

  22. Liberatore, P., Schaerf, M.: BReLS: A system for the integration of knowledge bases. In: Proc. KR 2000, pp. 145–152. Morgan Kaufmann Publishers, San Francisco (2000)

    Google Scholar 

  23. Mariën, M., Gilis, D., Denecker, M.: On the relation between ID-logic and answer set programming. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 108–120. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. McBrien, P., Poulovassilis, A.: Data integration by bi-directional schema transformation rules. In: Proc. 19th ICDE. IEEE, Los Alamitos (2003)

    Google Scholar 

  25. Simons, P., Niemelä, I., Soinien, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1–2) (2002)

    Google Scholar 

  26. Ullman, J.: Information integration using logical views. Theoretical Computer Science 239(2), 189–210 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  27. Van Belleghem, K., Denecker, M., De Schreye, D.: A strong correspondence between description logics and open logic programming. In: Proc. ICLP 1997, pp. 346–360 (1997)

    Google Scholar 

  28. Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM 38(3), 620–650 (1991)

    MATH  Google Scholar 

  29. Van Nuffelen, B.: Abductive constraint logic programming. PhD thesis, Katholieke Universiteit Leuven (2004)

    Google Scholar 

  30. Van Nuffelen, B., Cortés-Calabuig, A., Denecker, M., Arieli, O., Bruynooghe, M.: Data integration using ID-logic. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 67–81. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  31. Verbaeten, S.: Termination analysis for abductive general logic programs. In: Proc. ICLP 1999, pp. 365–379. MIT Press, Cambridge (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Katholieke Universiteit Leuven, Belgium

    Bert Van Nuffelen, Alvaro Cortés-Calabuig & Maurice Bruynooghe

  2. Department of Computer Science, The Academic College of Tel-Aviv, Israel

    Ofer Arieli

Authors
  1. Bert Van Nuffelen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ofer Arieli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alvaro Cortés-Calabuig
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maurice Bruynooghe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing and Informatics, Arizona State University, 85287-8809, Tempe, AZ

    Chitta Baral

  2. Dipartimento di Matematica, Università della Calabria, I-87036, Rende, CS, Italy

    Gianluigi Greco  & Giorgio Terracina  & 

  3. Department of Mathematics, University of Calabria, 87036, Rende, CS, Italy

    Nicola Leone

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Van Nuffelen, B., Arieli, O., Cortés-Calabuig, A., Bruynooghe, M. (2005). An ID-Logic Formalization of the Composition of Autonomous Databases. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2005. Lecture Notes in Computer Science(), vol 3662. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11546207_11

Download citation

  • DOI: https://doi.org/10.1007/11546207_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28538-0

  • Online ISBN: 978-3-540-31827-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation