Abstract
In the Semantic Web, the goal is offering access to information that is distributed over the Internet. Data integration is highly relevant in this context, since it consists in providing a uniform access to a set of data sources, through a unified representation of the data called global schema. Integrity constraints (ICs) are expressed on the global schema in order to better represent the domain of interest, yet such constraints may not be satisfied by the data at the sources. In this paper we address the problem of answering queries posed to a data integration system where the mapping is specified in the so-called GLAV approach, and when tuple-generating dependencies (TGDs) and functional dependencies (FDs) are expressed over the global schema. We extend previous results by first showing that, in the case of TGDs without FDs, known query rewriting techniques can be applied in a more general case, and can take into account also the GLAV mapping in a single rewriting step. Then we introduce FDs with TGDs, identifying a novel class of ICs for which query answering is decidable, and providing a query answering algorithm based on query rewriting also in this case.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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 the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1999), pp. 68–79 (1999)
Calì, A.: Reasoning in data integration systems: why LAV and GAV are siblings. In: Proc. of the 14th Int. Symp. on Methodologies for Intelligent Systems (ISMIS 2003), pp. 562–571 (2003)
Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Information Systems 29, 147–163 (2004)
Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pp. 260–271 (2003)
Calì, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 16–21 (2003)
Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies is undecidable. SIAM J. on Computing 14(3), 671–677 (1985)
Cruz, I., Decker, S., Euzenat, J., McGuinness, D. (eds.): The Emerging Semantic Web — Selected Papers from the First Semantic Web Working Symposium. IOS Press, Amsterdam (2002)
Duschka, O.M., Genesereth, M.R.: Answering recursive queries using views. In: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1997), pp. 109–116 (1997)
Fagin, R., Kolaitis, P., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003), pp. 207–224 (2003)
Friedman, M., Levy, A., Millstein, T.: Navigational plans for data integration. In: Proc. of the 16th Nat. Conf. on Artificial Intelligence (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 (LNAI), 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.: Halevy. Answering queries using views: A survey. Very Large Database J. 10(4), 270–294 (2001)
Heflin, J., Hendler, J.: A portrait of the semantic web in action. IEEE Intelligent Systems 16(2), 54–59 (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 the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233–246 (2002)
Lenzerini, M.: Personal communication (2004)
Lin, J., Mendelzon, A.O.: Merging databases under constraints. Int. J. of Cooperative Information Systems 7(1), 55–76 (1998)
Pottinger, R., Levy, A.Y.: A scalable algorithm for answering queries using views. In: Proc. of the 26th Int. Conf. on Very Large Data Bases (VLDB 2000), pp. 484–495 (2000)
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
Calì, A. (2005). Query Answering by Rewriting in GLAV Data Integration Systems Under Constraints. In: Bussler, C., Tannen, V., Fundulaki, I. (eds) Semantic Web and Databases. SWDB 2004. Lecture Notes in Computer Science, vol 3372. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31839-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31839-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24576-6
Online ISBN: 978-3-540-31839-2
eBook Packages: Computer ScienceComputer Science (R0)