Abstract
Data integration consists in providing a uniform access to a set of data sources, through a unified representation of the data called global schema; a mapping specifies the relationship between the global schema and the sources. Integrity constraints (ICs) are expressed on the global schema to better represent the domain of interest; in general, ICs are not satisfied by the data at the sources. In this paper we address the problem of query answering in GLAV data integration systems, where tuple-generating dependencies are expressed on the global schema. We solve the problem in an intensional fashion, by presenting a rewriting technique that, taking into account both the ICs and the mapping, allows us to compute the answers to a query, expressed over the global schema, by evaluating the rewritten query directly over the sources. Since the GLAV approach is a generalisation of the basic approaches LAV and GAV, we show that query answering under ICs can be done in the same way in LAV and GAV systems, thus proving that LAV and GAV are siblings, and not opposites.
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 Publ. Co., Reading (1995)
Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of PODS 1999, pp. 68–79 (1999)
Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the expressive power of data integration systems. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, p. 338. Springer, Heidelberg (2002)
Calì, A., Calvanese, D., Giacomo, G.D., Lenzerini, M.: Data integration under integrity constraints. Information Systems(2003) (to appear)
Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS (2003)
Calì, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of IJCAI (2003) (to appear)
Duschka, O.M., Genesereth, M.R.: Answering recursive queries using views. In: Proc. of PODS 1997, pp. 109–116 (1997)
Fagin, R., Kolaitis, P., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207–224. Springer, Heidelberg (2002)
Friedman, M., Levy, A., Millstein, T.: Navigational plans for data integration. In: Proc. of AAAI 1999, pp. 67–73 (1999)
Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol. 2237, pp. 348–364. Springer, Heidelberg (2001)
Gryz, J.: Query rewriting using views in the presence of functional and inclusion dependencies. Information Systems 24(7), 597–612 (1999)
Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal 10(4), 270–294 (2001)
Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. of Computer and System Sciences 28(1), 167–189 (1984)
Koch, C.: Query rewriting with symmetric constraints. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 130–147. Springer, Heidelberg (2002)
Lenzerini, M.: Data integration: a theoretical perspective. In: Proc. of PODS 2002 (2002)
Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. J. of Cooperative. Information Systems 7(1), 55–76 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calì, A. (2003). Reasoning in Data Integration Systems: Why LAV and GAV Are Siblings. In: Zhong, N., Raś, Z.W., Tsumoto, S., Suzuki, E. (eds) Foundations of Intelligent Systems. ISMIS 2003. Lecture Notes in Computer Science(), vol 2871. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39592-8_79
Download citation
DOI: https://doi.org/10.1007/978-3-540-39592-8_79
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20256-1
Online ISBN: 978-3-540-39592-8
eBook Packages: Springer Book Archive