Abstract
Due to the increasing necessity and availability of information from different sources, information integration is becoming one of the challenging issues in artificial intelligence and computer science. A successful methodology for information integration is based on federated databases. Differently form databases, a completely satisfactory formal treatment of federated databases is still missing. The goal of this paper is to fill this gap by providing a model theoretic semantics, called Local Models Semantics for federated databases. Our basic intuition is that a federated database can be formalized by representing each database as a set of local models. We argue that this perspective is a promising one, as many relevant problems in information integration, such as semantic heterogeneity, interschema dependencies, query distribution, local control over data and processing, and transparency, can be successfully represented by Local Models Semantics.
We thank the Mechanized Reasoning Group at DISA (Trento), ITC-IRST (Trento) and DIST (Genoa). This work is part of the MRG project Distributed Representations and Systems (http://www.cs.unitn.it/~mrg/distributed-intelligence/).
Preview
Unable to display preview. Download preview PDF.
References
S. Abitebul, R. Hull, and V. Vianu. Foundation of Databases. Addison-Wesley, 1995.
V. Arens, C.Y. Chee, C-N. Hsu, and C.A. Knoblock. Retrieving and integrating data from multiple information sources. International Journal on Intelligent and Cooperative Information Systems, 2(2):127–158, 1993.
H.A. Blair and V.S. Subrahmanian. Paraconsistent Logic Programming. Theoretical Computer Science, 68:35–51, 1987.
A. Borgida. Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering, October 1995.
M.W. Bright, A. R. Hurson, and Simin H. Pakzad. A Taxonomy and Current Issues in Multidatabase Systems. Computer, 25(3):50–60, March 1992.
T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal of Intelligent and Cooperative Information Systems, 2(4):375–398, 1993.
D. Fang, S. Ghandeharizadeh, and D. McLeod. An experimental object-based sharing system for networked databases. The VLDB Journal, 5:151–165, 1996.
C. Ghidini and L. Serafini. Foundation of Federated Databases, I: A Model Theoretic Perspective. Technical Report 9709-02, IRST, Trento, Italy, 1997.
C. Ghidini and L. Serafini. Distributed First Order Logics. Technical Report 9804-02, IRST, 1998. To be presented at the First International Workshop on Labelled Deduction (LD'98). Freiburg, Germany.
F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.
F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR '98), pages 282–289. Morgan Kaufmann, 1998. Also IRST-Technical Report 9701-07, IRST, Trento, Italy.
A.Y. Levy, A. Rajaraman, and J.J. Ordille. Querying Heterogeneous Information Sources Using Source Descriptions. In Proceedings of the 22nd VLDB Conference, Bombay, India, 1996.
J. Mylopoulos and R. Motschnig-Pitrik. Partitioning Information Bases with Contexts. In Third International Conference on Cooperative Information Systems, Vienna, 1995.
A. Sheth and J. Larson. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22(3):183–236, 1990.
V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291–331, 1994.
Jeffrey D. Ullman. Information Integration Using Logical Views. In Proc. of the 6th International Conference on Database Theory (ICDT'97), 1997.
M.W.W. Vermeer and P.M.G. Apers. The Role of Integrity Constraints in Database Interoperation. In Proceedings of the 22nd VLDB Conference, Mumbai(Bombay), India, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghidini, C., Serafini, L. (1998). Model theoretic semantics for information integration. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057451
Download citation
DOI: https://doi.org/10.1007/BFb0057451
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64993-9
Online ISBN: 978-3-540-49793-6
eBook Packages: Springer Book Archive