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.
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, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Hull, R., Vianu, V. Foundations of Databases. Addison-Wesley, 1994.
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.
Arenas, M., Bertossi, L., Chomicki, J., Consistent Query Answers in Inconsistent Databases. PODS Conf., 1999.
Arenas, M., Bertossi, L., Chomicki, J., Specifying and Querying Database repairs using Logic Programs with Exceptions. FQAS Conf., pp 27–41, 2000.
Baral, C., Kraus, S., Minker, J., Combining Multiple Knowledge Bases. IEEETKDE, Vol. 3, No. 2, pp. 208–220, 1991.
Baral, C., Kraus, S., Minker, J., Subrahmanian, V. S., Combining Knowledge Bases Consisting of First Order Theories. Proc. ISMIS Conference, pp. 92–101, 1991.
Bry, F., Query Answering in Information System with Integrity Constraints, IFIP 11.5 Working Conf., 1997.
Dung, P. M., Integrating Data from Possibly Inconsistent Databases. CoopIS Conf., pp. 58–65, 1996.
Gelfond, M., Lifschitz, V. The Stable Model Semantics for Logic Programming, ICLP Conf. pp. 1070–1080, 1988.
Grant, J., Subrahmanian, V. S., Reasoning in Inconsistent Knowledge Bases. IEEETKDE, Vol. 7, No. 1, pp. 177–189, 1995.
Greco, S., Zumpano E., Querying Inconsistent Database LPAR Conf., pp. 308–325, 2000.
Kanellakis, P. C., Elements of Relational Database Theory. Handbook of Theoretical Computer Science, Vol. 2, J. van Leewen (ed.), North-Holland, 1991.
Lin, J., A Semantics for Reasoning Consistently in the Presence of Inconsistency. Artificial Intelligence, Vol. 86, No. 1, pp. 75–95, 1996.
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.
Lloyd, J., Foundation of Logic Programming. Spinger-Verlag, 1987.
Pradhan, S., J. Minker, J., Subrahmanian, V.S., Combining Databases with Prioritized Information JIIS, 4(3), pp. 231–260, 1995.
Subrahmanian, V. S., Amalgamating Knowledge Bases. ACM-TODS, Vol. 19, No. 2, pp. 291–331, 1994.
Ullman, J. K., Principles of Database and Knowledge-Base Systems, Vol. 1, Computer Science Press, 1988.
Yan, L.L., Ozsu, M.T., Conflict Tolerant Queries in Aurora. In CoopIS Conf., pp. 279–290, 1999.
Zaniolo, C, Ami, N., Ong, Q., The LDL++ system TKDE, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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