Abstract
Different models have been recently proposed for representing temporal data, tracking historical information, and recovering the state of the document as of any given time, in XML documents. After presenting an abstract model for temporal XML, we discuss the problem of the validation of the temporal constraints imposed by this model. We first review the problem of checking and fixing isolated temporal inconsistencies. Then, we move on to study validation of a document when many temporal inconsistencies of different kinds are present. We study the conditions that allow to treat each inconsistency isolated from the rest, and give the corresponding proofs. These properties are intended to be the basis of efficient algorithms for checking temporal consistency in XML.
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
Preview
Unable to display preview. Download preview PDF.
References
Amagasa, T., Yoshikawa, M., Uemura, S.: A temporal data model for XML documents. In: Proceedings of DEXA Conference, pp. 334–344 (2000)
Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. ACM Transactions on Database Systems 29(4), 710–751 (2004)
Barbosa, D., Mendelzon, A.O., Libkin, L., Mignet, L., Arenas, M.: Efficient incremental validation of XML documents. In: ICDE, pp. 671–682 (2004)
Chawathe, S., Abiteboul, S., Widom, J.: Managing historical semistructured data. Theory and Practice of Object Systems 5(3), 143–162 (1999)
Chien, S., Tsotras, V., Zaniolo, C.: Efficient management of multiversion documents by object referencing. In: Proceedings of the 27th International Conference on Very Large Data Bases, Rome, Italy, pp. 291–300 (2001)
Dyreson, C., Snodgrass, R.: Supporting valid-time indeterminacy. ACM Transactions on Database Systems 23(1), 1–57 (1998)
Dyreson, C.E.: Observing transaction-time semantics with TTXPath. In: Proceedings of WISE 2001, pp. 193–202 (2001)
Gao, C., Snodgrass, R.: Syntax, semantics and query evaluation in the τXQuery temporal XML query language. Time Center Technical Report TR-72 (2003)
Grandi, F., Mandreoli, F.: Effective representation and efficient management of indeterminate dates. In: TIME 2001, pp. 164–169 (2001)
Kane, B., Su, H., Rundensteiner, E.: Consistently updating XML documents using incremental constraint check queries. In: WIDM, pp. 1–8 (2002)
Marian, A., Abiteboul, S., Cobena, G., Mignet, L.: Change-centric management of versions in an XML warehouse. In: Proceedings of the 27th VLDB Conference, Rome, Italy, pp. 581–590 (2001)
Mendelzon, A.O., Rizzolo, F., Vaisman, A.: Indexing temporal XML documents. In: Proceedings of the 30th International Conference on Very Large Databases, Toronto, Canada, pp. 216–227 (2004)
Oliboni, B., Quintarelli, E., Tanca, L.: Temporal aspects of semistructured data. In: Proceedings of the Eight International Symposium of Temporal Representation and Reasoning, pp. 119–127 (2001)
Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 47–63. Springer, Heidelberg (2002)
Rizzolo, F., Vaisman, A.: Temporal XML documents: Model, index and implementation (submitted, 2006)
Wang, F., Zaniolo, C.: Temporal queries in xml document archives and web warehouses. In: Proceedings of the 10th International Symposium on Temporal Representation and Reasoning (TIME 2003), Cairns, Australia, pp. 47–55 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Campo, M., Vaisman, A. (2006). Consistency of Temporal XML Documents. In: Amer-Yahia, S., Bellahsène, Z., Hunt, E., Unland, R., Yu, J.X. (eds) Database and XML Technologies. XSym 2006. Lecture Notes in Computer Science, vol 4156. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841920_3
Download citation
DOI: https://doi.org/10.1007/11841920_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38877-7
Online ISBN: 978-3-540-38879-1
eBook Packages: Computer ScienceComputer Science (R0)