Universal Solutions in Temporal Data Exchange

Cheng, Zehui; Kolaitis, Phokion G.

doi:10.4230/LIPIcs.TIME.2020.8

File

LIPIcs.TIME.2020.8.pdf

Filesize: 0.53 MB
17 pages

Document Identifiers

DOI: 10.4230/LIPIcs.TIME.2020.8
URN: urn:nbn:de:0030-drops-129763

Author Details

Zehui Cheng

University of California Santa Cruz, CA, USA

Phokion G. Kolaitis

University of California Santa Cruz, CA, USA
IBM Research, Almaden, CA, USA

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

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)

0

PDF Downloads

0

Metadata Views

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.