Advertisement

On the Expressive Power of Data Integration Systems

  • Andrea Calì
  • Diego Calvanese
  • Giuseppe De Giacomo
  • Maurizio Lenzerini
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2503)

Abstract

There are basically two approaches for designing a data integration system. In the global-as-view (GAV) approach, one maps the concepts in the global schema to views over the sources, whereas in the local-as-view (LAV) approach, one maps the sources into views over the global schema. The goal of this paper is to relate the two approaches with respect to their expressive power. The analysis is carried out in a relational database setting, where both the queries on the global schema, and the views in the mapping are conjunctive queries. We introduce the notion of query-preserving transformation, and query-reducibility between data integration systems, and we show that, when no integrity constraints are allowed in global schema, the LAV and the GAV approaches are incomparable. We then consider the addition of integrity constraints in the global schema, and present techniques for query-preserving transformations in both directions. Finally, we show that our results imply that we can always transform any system following the GLAV approach (a generalization of both LAV and GAV) into a query-preserving GAV system.

Keywords

Integration System Logic Program Data Integration Logic Programming Global Schema 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Serge Abiteboul and Oliver Duschka. Complexity of answering queries using materialized views. In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS’98), pages 254–265, 1998.Google Scholar
  2. [2]
    Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995.zbMATHGoogle Scholar
  3. [3]
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. Answering regular path queries using views. In Proc. of the 16th IEEE Int. Conf. on Data Engineering (ICDE 2000), pages 389–398, 2000.Google Scholar
  4. [4]
    Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi. View-based query processing and constraint satisfaction. In Proc. of the 15th IEEE Symp. on Logic in Computer Science (LICS 2000), pages 361–371, 2000.Google Scholar
  5. [5]
    Oliver M. Duschka and Michael R. Genesereth. Answering recursive queries using views. In Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS’97), pages 109–116, 1997.Google Scholar
  6. [6]
    Marc Friedman, Alon Levy, and Todd Millstein. Navigational plans for data integration. In Proc. of the 16th Nat. Conf. on Artificial Intelligence (AAAI’99), pages 67–73. AAAI Press/The MIT Press, 1999.Google Scholar
  7. [7]
    Gösta Grahne and Alberto O. Mendelzon. Tableau techniques for querying information sources through global schemas. In Proc. of the 7th Int. Conf. on Database Theory (ICDT’99), volume 1540 of Lecture Notes in Computer Science, pages 332–347. Springer, 1999.Google Scholar
  8. [8]
    Jarek Gryz. Query folding with inclusion dependencies. In Proc. of the 14th IEEE Int. Conf. on Data Engineering (ICDE’98), pages 126–133, 1998.Google Scholar
  9. [9]
    Alon Y. Halevy. Answering queries using views: A survey. Very Large Database J., 10(4):270–294, 2001.zbMATHCrossRefGoogle Scholar
  10. [10]
    Richard Hull. Managing semantic heterogeneity in databases: A theoretical perspective. In Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS’97), 1997.Google Scholar
  11. [11]
    Alon Y. Levy. Logic-based techniques in data integration. In Jack Minker, editor, Logic Based Artificial Intelligence. Kluwer Academic Publisher, 2000.Google Scholar
  12. [12]
    Chen Li and Edward Chang. Query planning with limited source capabilities. In Proc. of the 16th IEEE Int. Conf. on Data Engineering (ICDE 2000), pages 401–412, 2000.Google Scholar
  13. [13]
    John W. Lloyd. Foundations of Logic Programming (Second, Extended Edition). Springer, Berlin, Heidelberg, 1987.Google Scholar
  14. [14]
    Lucian Popa, Alin Deutsch, Arnaud Sahuguet, and Val Tannen. A chase too far? In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, pages 273–284, 2000.Google Scholar
  15. [15]
    Xiaolei Qian. Query folding. In Proc. of the 12th IEEE Int. Conf. on Data Engineering (ICDE’96), pages 48–55, 1996.Google Scholar
  16. [16]
    Jeffrey D. Ullman. Information integration using logical views. In Proc. of the 6th Int. Conf. on Database Theory (ICDT’97), volume 1186 of Lecture Notes in Computer Science, pages 19–40. Springer, 1997.Google Scholar
  17. [17]
    Ron van der Meyden. Logical approaches to incomplete information. In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems, pages 307–356. Kluwer Academic Publisher, 1998.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Andrea Calì
    • 1
  • Diego Calvanese
    • 1
  • Giuseppe De Giacomo
    • 1
  • Maurizio Lenzerini
    • 1
  1. 1.Dipartimento di Informatica e SistemisticaUniversitá di RomaRomaItaly

Personalised recommendations