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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We usually denote constants by lowercase letters \(a,b,c,\dots \), and nulls by symbols \(\bot ,\bot ',\bot _1,\dots \)
- 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.
Full tgds are tgds that do not use existential quantication.
References
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)
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)
Arenas, M., Barceló, P., Libkin, L., Murlak, F.: Relational and XML Data Exchange. Morgan and Claypool Publishers, New York (2010)
Arenas, M., Botoeva, E., Calvanese, D.: Knowledge base exchange. In: Proceedings of Description Logics (2011)
Arenas, M., Perez, J., Reutter, J.L.: Data exchange beyond complete data. In: Proceedings of PODS, pp. 83–94 (2011)
Beeri, C., Vardi, M.Y.: A proof procedure for data dependencies. J. ACM 71(4), 718–741 (1984)
Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci 336(1), 89–124 (2005)
Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst 30(1), 174–210 (2005)
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)
Reinghold, O.: Undirected connectivity in log-space. J. ACM 55(4), 1–24 (2008)
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)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
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)
Levy, A.Y., Rajaraman, A., Ordille, J.: Querying heterogeneous information sources using source descriptions. In: Proceedings of VLDB, pp. 251–262 (1996)
Larson, J.A., Sheth, A.P.: Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Comput. Surv 22(3), 183–236 (1990)
Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. J. Web Semant. 7(2), 74–89 (2009)
Acknowledgments
We thank NSERC for providing us the grants.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)