Consistency of Temporal XML Documents

  • Marcela Campo
  • Alejandro Vaisman
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4156)


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.


Temporal Constraint Continuous Path Expansion Area Incremental Validation Young Parent 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amagasa, T., Yoshikawa, M., Uemura, S.: A temporal data model for XML documents. In: Proceedings of DEXA Conference, pp. 334–344 (2000)Google Scholar
  2. 2.
    Balmin, A., Papakonstantinou, Y., Vianu, V.: Incremental validation of XML documents. ACM Transactions on Database Systems 29(4), 710–751 (2004)CrossRefGoogle Scholar
  3. 3.
    Barbosa, D., Mendelzon, A.O., Libkin, L., Mignet, L., Arenas, M.: Efficient incremental validation of XML documents. In: ICDE, pp. 671–682 (2004)Google Scholar
  4. 4.
    Chawathe, S., Abiteboul, S., Widom, J.: Managing historical semistructured data. Theory and Practice of Object Systems 5(3), 143–162 (1999)CrossRefGoogle Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    Dyreson, C., Snodgrass, R.: Supporting valid-time indeterminacy. ACM Transactions on Database Systems 23(1), 1–57 (1998)CrossRefGoogle Scholar
  7. 7.
    Dyreson, C.E.: Observing transaction-time semantics with TTXPath. In: Proceedings of WISE 2001, pp. 193–202 (2001)Google Scholar
  8. 8.
    Gao, C., Snodgrass, R.: Syntax, semantics and query evaluation in the τXQuery temporal XML query language. Time Center Technical Report TR-72 (2003)Google Scholar
  9. 9.
    Grandi, F., Mandreoli, F.: Effective representation and efficient management of indeterminate dates. In: TIME 2001, pp. 164–169 (2001)Google Scholar
  10. 10.
    Kane, B., Su, H., Rundensteiner, E.: Consistently updating XML documents using incremental constraint check queries. In: WIDM, pp. 1–8 (2002)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    Rizzolo, F., Vaisman, A.: Temporal XML documents: Model, index and implementation (submitted, 2006)Google Scholar
  16. 16.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Marcela Campo
    • 1
  • Alejandro Vaisman
    • 2
  1. 1.Universidad de Buenos Aires 
  2. 2.Universidad de Chile 

Personalised recommendations