Skip to main content
SpringerLink
Log in
Book cover

International Conference on Logic and the Foundations of Game and Decision Theory

LOFT 2008: Logic and the Foundations of Game and Decision Theory – LOFT 8 pp 61–85Cite as

Logic and Data Exchange: Which Solutions Are “Good” Solutions?

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6006))

Abstract

This paper gives an introduction into the area of data exchange, with a special emphasis on the question of which solutions can be considered “good” solutions. We shall concentrate on notions of “good” solutions for query answering, in particular, universal solutions, the core of the universal solutions, and CWA-solutions.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  2. Afrati, F.N., Kolaitis, P.G.: Answering Aggregate Queries in Data Exchange. In: Lenzerini, M., Lembo, D. (eds.) PODS 2008, pp. 129–138. ACM, New York (2008)

    Chapter  Google Scholar 

  3. Arenas, M., Barceló, P., Fagin, R., Libkin, L.: Locally Consistent Transformations and Query Answering in Data Exchange. In: Deutsch, A. (ed.) PODS 2004, pp. 229–240. ACM, New York (2004)

    Chapter  Google Scholar 

  4. Arenas, M., Barceló, P., Reutter, J.: Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. In: Fagin, R. (ed.) ICDT 2009, pp. 73–83. ACM, New York (2009)

    Chapter  Google Scholar 

  5. Arenas, M., Libkin, L.: XML Data Exchange: Consistency and Query Answering. In: Li, C. (ed.) PODS 2005, pp. 13–24. ACM, New York (2005)

    Chapter  Google Scholar 

  6. Arenas, M., Pérez, J., Riveros, R.: The Recovery of a Schema Mapping: Bringing Exchanged Data Back. In: Lenzerini, M., Lembo, D. (eds.) PODS 2008, pp. 13–22. ACM, New York (2008)

    Chapter  Google Scholar 

  7. Barceló, P.: Logical Foundations of Relational Data Exchange. SIGMOD Record 38(1), 49–58 (2009)

    Article  Google Scholar 

  8. Bernstein, P.A.: Applying Model Management to classical meta-data problems. In: CIDR 2003, pp. 209–220 (2003)

    Google Scholar 

  9. Bertossi, L.E., Bravo, L.: Query answering in peer-to-peer data exchange systems. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) EDBT 2004. LNCS, vol. 3268, pp. 476–485. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  10. ten Cate, B., Kolaitis, P.G.: Structural Characterizations of Schema-mapping Languages. In: Fagin, R. (ed.) ICDT 2009, pp. 63–72. ACM, New York (2009)

    Chapter  Google Scholar 

  11. Deutsch, A., Nash, A., Remmel, J.B.: The Chase Revisited. In: Lenzerini, M., Lembo, D. (eds.) PODS 2008, pp. 149–158. ACM, New York (2008)

    Chapter  Google Scholar 

  12. Deutsch, A., Tannen, V.: Reformulation of XML queries and constraints. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 225–241. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Fagin, R.: Inverting Schema Mappings. In: Vansummeren, S. (ed.) PODS 2006, pp. 50–59. ACM, New York (2006)

    Chapter  Google Scholar 

  14. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  15. Fagin, R., Kolaitis, P.G., Nash, A., Popa, L.: Towards a Theory of Schema-mapping Optimization. In: Lenzerini, M., Lembo, D. (eds.) PODS 2008, pp. 33–42. ACM, New York (2008)

    Chapter  Google Scholar 

  16. Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. ACM Trans. on Database Syst. 30(1), 174–210 (2005)

    Article  MathSciNet  Google Scholar 

  17. Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. In: Deutsch, A. (ed.) PODS 2004, pp. 83–94. ACM, New York (2004)

    Chapter  Google Scholar 

  18. Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Quasi-inverses of schema mappings. In: Libkin, L. (ed.) PODS 2007, pp. 123–132. ACM, New York (2007)

    Chapter  Google Scholar 

  19. Fuxman, A., Kolaitis, P.G., Miller, R.J., Tan, W.C.: Peer Data Exchange. ACM Trans. Database Syst. 31(4), 1454–1498 (2006)

    Article  Google Scholar 

  20. Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: On Reconciling Data Exchange, Data Integration, and Peer Data Management. In: Libkin, L. (ed.) PODS 2007, pp. 133–142. ACM, New York (2007)

    Chapter  Google Scholar 

  21. Gottlob, G., Nash, A.: Efficient Core Computation in Data Exchange. J. ACM 55(2), 1–49 (2008)

    MathSciNet  Google Scholar 

  22. Haas, L.M., Hernández, M., Ho, H., Popa, L., Roth, M.: Clio Grows up: From Research Prototype to Industrial Tool. In: Özcan, F. (ed.) SIGMOD 2005, pp. 805–810. ACM, New York (2005)

    Chapter  Google Scholar 

  23. Hell, P., Nesetril, J.: The Core of a Graph. Discrete Math. 109(1-3), 117–126 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  24. Hernich, A., Schweikardt, N.: CWA-solutions for Data Exchange Settings with Target Dependencies. In: Libkin, L. (ed.) PODS 2007, pp. 113–122. ACM, New York (2007)

    Chapter  Google Scholar 

  25. Imielinski, T., Lipski, W.: Incomplete Information in Relational Databases. J. ACM 31(4), 761–791 (1984)

    MATH  MathSciNet  Google Scholar 

  26. Kolaitis, P.G.: Schema Mappings, Data Exchange, and Metadata Management. In: Li, C. (ed.) PODS 2005, pp. 61–75. ACM, New York (2005)

    Chapter  Google Scholar 

  27. Kolaitis, P.G., Panttaja, J., Tan, W.C.: The Complexity of Data Exchange. In: Vansummeren, S. (ed.) PODS 2006, pp. 30–39. ACM, New York (2006)

    Chapter  Google Scholar 

  28. Libkin, L.: Data Exchange and Incomplete Information. In: Vansummeren, S. (ed.) PODS 2006, pp. 60–69. ACM, New York (2006)

    Chapter  Google Scholar 

  29. Libkin, L., Sirangelo, C.: Data Exchange and Schema Mappings in Open and Closed Worlds. In: Lenzerini, M., Lembo, D. (eds.) PODS 2008, pp. 139–148. ACM, New York (2008)

    Chapter  Google Scholar 

  30. Mądry, A.: Data Exchange: On the Complexity of Answering Queries with Inequalities. Inform. Process. Lett. 94, 253–257 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  31. Miller, R.J., Haas, L.M., Hernández, M.: Schema Mapping as Query Discovery. In: El Abbadi, A., Brodie, M.L., Chakravarthy, S., Dayal, U., Kamel, N., Schlageter, G., Whang, K.-Y. (eds.) VLDB 2000, pp. 77–89. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  32. Reiter, R.: On Closed World Data Bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 119–140. Plenum Publ. Co., New York (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Johann Wolfgang Goethe-Universität Frankfurt am Main, Postfach 11 19 32, 60054, Frankfurt am Main, Germany

    André Hernich & Nicole Schweikardt

Authors
  1. André Hernich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicole Schweikardt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Economics, University of California, One Shields Avenue, 95616-8578, Davis, CA, USA

    Giacomo Bonanno

  2. Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

  3. Department of Computer Science, University of Liverpool, L69 7ZF, Liverpool, UK

    Wiebe van der Hoek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hernich, A., Schweikardt, N. (2010). Logic and Data Exchange: Which Solutions Are “Good” Solutions?. In: Bonanno, G., Löwe, B., van der Hoek, W. (eds) Logic and the Foundations of Game and Decision Theory – LOFT 8. LOFT 2008. Lecture Notes in Computer Science(), vol 6006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15164-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15164-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15163-7

  • Online ISBN: 978-3-642-15164-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation