Skip to main content
SpringerLink
Log in

Sharing and Exchanging Data

  • Conference paper
  • First Online:
Book cover Declarative Programming and Knowledge Management (INAP 2013, WLP 2013, WFLP 2013)

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

Abstract

Exchanging and integrating data that uses different vocabularies are two prominent problems in the database literature. These problems have been, so far, solved separately, and never been addressed together in a unified setting. In this paper, we propose a class of mappings - called DSE, for data sharing and exchange - that represents this unified setting. We introduce a DSE setting with particular interpretation of related data where ordinary data exchange or data integration cannot be applied. We define the class of DSE solutions in a DSE setting, that allow to store a part of explicit data and a set of inference rules used to generate the complete set of exchanged data. We identify among those a particular DSE solution with good properties; namely, one that contains a minimal amount of explicit data. Finally, we define the set of certain answers to conjunctive queries.

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

Access this chapter

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 EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    We usually denote constants by lowercase letters \(a,b,c,\dots \), and nulls by symbols \(\bot ,\bot ',\bot _1,\dots \)

  2. 2.

    We usually omit universal quantification in front of st-tgds and express them simply as \(\phi (\bar{x}, \bar{y}) \rightarrow \exists \bar{z} \, \psi (\bar{x},\bar{z})\).

  3. 3.

    Full tgds are tgds that do not use existential quantication.

References

  1. Bernstein, P., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serani, L., Zaihrayeu, I.: Data management for Peer-to-Peer computing: a vision. In: Proceedings of the Workshop on the Web and Databases (WebDB’02) (2002)

    Google Scholar 

  2. Arenas, M., Kantere, V., Kementsietsidis, A., Kiringa, I., Miller, R.J., Mylopoulos, J.: The hyperion project: from data integration to data coordination. In: ACM SIGMOD Record, pp. 53–58 (2003)

    Google Scholar 

  3. Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Relational and XML Data Exchange. Morgan and Claypool Publishers, New York (2010)

    MATH  Google Scholar 

  4. Arenas, M., Botoeva, E., Calvanese, D.: Knowledge base exchange. In: Proceedings of Description Logics (2011)

    Google Scholar 

  5. Arenas, M., Perez, J., Reutter, J.L.: Data exchange beyond complete data. In: Proceedings of PODS, pp. 83–94 (2011)

    Google Scholar 

  6. Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. ACM 71(4), 718–741 (1984)

    Article  MathSciNet  Google Scholar 

  7. 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 

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

    Article  MathSciNet  Google Scholar 

  9. Kementsietsidis, A., Arenas, M., Miller, R.J.: Mapping data in peer-to-peer systems: semantics and algorithmic issues. In: Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pp. 325–336 (2003)

    Google Scholar 

  10. Reinghold, O.: Undirected connectivity in log-space. J. ACM 55(4), 1–24 (2008)

    Article  MathSciNet  Google Scholar 

  11. Arenas, M., Reutter, J., Barceló, P.: Query languages for data exchange: beyond unions of conjunctive queries. In: Proceedings of the 12th International Conference on Database Theory, pp. 73–83 (2009)

    Google Scholar 

  12. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  13. Marnette, B., Mecca, G., Papotti, P.: ++Spicy: an open-source tool for second-generation schema mapping and data exchange. In: Proceedings of the VLDB, pp. 1438–1441 (2011)

    Google Scholar 

  14. Levy, A.Y., Rajaraman, A., Ordille, J.: Querying heterogeneous information sources using source descriptions. In: Proceedings of VLDB, pp. 251–262 (1996)

    Google Scholar 

  15. Larson, J.A., Sheth, A.P.: Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Comput. Surv 22(3), 183–236 (1990)

    Article  Google Scholar 

  16. Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. J. Web Semant. 7(2), 74–89 (2009)

    Article  Google Scholar 

Download references

Acknowledgments

We thank NSERC for providing us the grants.

Author information

Authors and Affiliations

  1. EECS, University of Ottawa, Ottawa, Canada

    Rana Awada & Iluju Kiringa

  2. Department of Computer Science, University of Chile, Santiago, Chile

    Pablo Barceló

Authors
  1. Rana Awada
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pablo Barceló
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Iluju Kiringa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rana Awada .

Editor information

Editors and Affiliations

  1. Universität Kiel, Kiel, Germany

    Michael Hanus

  2. CRACS & INESC-Porto LA, University of Porto, Porto, Portugal

    Ricardo Rocha

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Awada, R., Barceló, P., Kiringa, I. (2014). Sharing and Exchanging Data. In: Hanus, M., Rocha, R. (eds) Declarative Programming and Knowledge Management. INAP WLP WFLP 2013 2013 2013. Lecture Notes in Computer Science(), vol 8439. Springer, Cham. https://doi.org/10.1007/978-3-319-08909-6_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08909-6_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08908-9

  • Online ISBN: 978-3-319-08909-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation