LIPIcs.TIME.2020.8.pdf
- Filesize: 0.53 MB
- 17 pages
Document
Universal Solutions in Temporal Data Exchange
Authors
Zehui Cheng 
,
-
Part of:
Volume:
27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2020-09-15
File
Document Identifiers
Author Details
Acknowledgements
We thank Jing Ao and Rada Chirkova for numerous fruitful conversations concerning temporal data exchange.
Cite AsGet BibTex
Zehui Cheng and Phokion G. Kolaitis. Universal Solutions in Temporal Data Exchange. In 27th International Symposium on Temporal Representation and Reasoning (TIME 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 178, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
https://doi.org/10.4230/LIPIcs.TIME.2020.8
https://doi.org/10.4230/LIPIcs.TIME.2020.8
Abstract
During the past fifteen years, data exchange has been explored in depth and in a variety of different settings. Even though temporal databases constitute a mature area of research studied over several decades, the investigation of temporal data exchange was initiated only very recently. We analyze the properties of universal solutions in temporal data exchange with emphasis on the relationship between universal solutions in the context of concrete time and universal solutions in the context of abstract time. We show that challenges arise even in the setting in which the data exchange specifications involve a single temporal variable. After this, we identify settings, including data exchange settings that involve multiple temporal variables, in which these challenges can be overcome.
Subject Classification
ACM Subject Classification
- Information systems → Data management systems
- Theory of computation → Data exchange
- Information systems → Temporal data
Keywords
- temporal databases
- database dependencies
- data exchange
- universal solutions
- abstract time
- concrete time
- Allen’s relations
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- James F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832-843, 1983. URL: https://doi.org/10.1145/182.358434.
- James F. Allen. Time and time again: The many ways to represent time. Int. J. Intell. Syst., 6(4):341-355, 1991. URL: https://doi.org/10.1002/int.4550060403.
- Marcelo Arenas, Pablo Barceló, Leonid Libkin, and Filip Murlak. Foundations of Data Exchange. Cambridge University Press, 2014. URL: http://www.cambridge.org/9781107016163.
- Marcelo Arenas and Leonid Libkin. XML data exchange: Consistency and query answering. J. ACM, 55(2):7:1-7:72, 2008. URL: https://doi.org/10.1145/1346330.1346332.
- Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. Ontology-mediated query answering over temporal data: A survey (invited talk). In Sven Schewe, Thomas Schneider, and Jef Wijsen, editors, 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, volume 90 of LIPIcs, pages 1:1-1:37. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. URL: https://doi.org/10.4230/LIPIcs.TIME.2017.1.
- Pablo Barceló, Jorge Pérez, and Juan L. Reutter. Schema mappings and data exchange for graph databases. In Wang-Chiew Tan, Giovanna Guerrini, Barbara Catania, and Anastasios Gounaris, editors, Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013, pages 189-200. ACM, 2013. URL: https://doi.org/10.1145/2448496.2448520.
- Iovka Boneva, Jose Lozano, and Slawomir Staworko. Relational to RDF data exchange in presence of a shape expression schema. In Dan Olteanu and Barbara Poblete, editors, Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018, volume 2100 of CEUR Workshop Proceedings. CEUR-WS.org, 2018. URL: http://ceur-ws.org/Vol-2100/paper6.pdf.
- Jan Chomicki and David Toman. Temporal databases. In Michael Fisher, Dov M. Gabbay, and Lluís Vila, editors, Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Foundations of Artificial Intelligence, pages 429-467. Elsevier, 2005. URL: https://doi.org/10.1016/S1574-6526(05)80016-1.
- Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, and Lucian Popa. Data exchange: semantics and query answering. Theor. Comput. Sci., 336(1):89-124, 2005. URL: https://doi.org/10.1016/j.tcs.2004.10.033.
- Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, and Wang Chiew Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst., 30(4):994-1055, 2005. URL: https://doi.org/10.1145/1114244.1114249.
- Ladan Golshanara and Jan Chomicki. Temporal data exchange. Inf. Syst., 87, 2020. URL: https://doi.org/10.1016/j.is.2019.07.004.
- Gösta Grahne and Adrian Onet. Anatomy of the chase. Fundam. Inform., 157(3):221-270, 2018. URL: https://doi.org/10.3233/FI-2018-1627.
-
Abdullah Uz Tansel, James Clifford, Shashi K. Gadia, Sushil Jajodia, Arie Segev, and Richard T. Snodgrass, editors. Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings, 1993.
- Balder ten Cate and Phokion G. Kolaitis. Structural characterizations of schema-mapping languages. Commun. ACM, 53(1):101-110, 2010. URL: https://doi.org/10.1145/1629175.1629201.
- David Toman. Point vs. interval-based query languages for temporal databases. In Richard Hull, editor, Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada, pages 58-67. ACM Press, 1996. URL: https://doi.org/10.1145/237661.237676.