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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. PODS 1999, pp. 68–79 (1999)
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)
Arieli, O., Denecker, M., Van Nuffelen, B., Bruynooghe, M.: Coherent integration of databases by abductive logic programming. Artif. Intelligence Research 21, 245–286 (2004)
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)
Baral, C., Kraus, S., Minker, J.: Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Enginnering 3(2), 208–220 (1991)
Batini, C., Lenzerini, M., Navathe, S.B.: A comparative analysis of methodologies for database schema integration. ACM Computing Surveys 18(4), 323–364 (1986)
Brachman, R., Levesque, H.: Knowledge representation and Reasoning. Morgan Kaufmann, San Francisco (2004)
Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. IJCAI 2003, pp. 10–15 (2003)
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)
Calì, A., Calvanese, D., De Giacomo, G., Lanzerini, M.: Data integration under integrity constraints. Information Systems 29(2), 147–163 (2004)
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)
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)
Denecker, M., Bruynooghe, M., Marek, V.: Logic programming revisited: logic programs as inductive definitions. ACM Trans. on Computational Logic 2(4), 623–654 (2001)
Denecker, M., De Schreye, D.: SLDNFA an abductive procedure for abductive logic programs. Journal of Logic Programming 34(2), 111–167 (1998)
Denecker, M., Ternovska, E.: Inductive situation calculus. In: Proc. KR 2004, pp. 545–553. Morgan Kaufmann Publishers, San Francisco (2004)
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)
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)
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)
Friedman, M., Levy, A.Y., Millstein, T.D.: Navigational plans for data integration. In: Proc. 16th AAAI, pp. 67–73 (1999)
Kakas, A., Van Nuffelen, B., Denecker, M.: A-system: Problem solving through abduction. In: Proc. IJCAI 2001, pp. 591–596 (2001)
Levy, A., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: Proc. VLDB 1996, pp. 251–262 (1996)
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)
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)
McBrien, P., Poulovassilis, A.: Data integration by bi-directional schema transformation rules. In: Proc. 19th ICDE. IEEE, Los Alamitos (2003)
Simons, P., Niemelä, I., Soinien, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1–2) (2002)
Ullman, J.: Information integration using logical views. Theoretical Computer Science 239(2), 189–210 (2000)
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)
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)
Van Nuffelen, B.: Abductive constraint logic programming. PhD thesis, Katholieke Universiteit Leuven (2004)
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)
Verbaeten, S.: Termination analysis for abductive general logic programs. In: Proc. ICLP 1999, pp. 365–379. MIT Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)