Supporting valid-time indeterminacy
ACM Transactions on Database Systems (TODS)
Managing historical semistructured data
Theory and Practice of Object Systems
Consistently updating XML documents using incremental constraint check queries
Proceedings of the 4th international workshop on Web information and data management
Incremental Validation of XML Documents
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Change-Centric Management of Versions in an XML Warehouse
Proceedings of the 27th International Conference on Very Large Data Bases
Efficient Management of Multiversion Documents by Object Referencing
Proceedings of the 27th International Conference on Very Large Data Bases
A Data Model for Temporal XML Documents
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Temporal Aspects of Semistructured Data
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Effective Representation and Efficient Management of Indeterminate Dates
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Observing Transaction-Time Semantics with TTXPath
WISE '01 Proceedings of the Second International Conference on Web Information Systems Engineering (WISE'01) Volume 1 - Volume 1
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Incremental validation of XML documents
ACM Transactions on Database Systems (TODS)
Indexing temporal XML documents
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Modeling temporal dimensions of semistructured data
Journal of Intelligent Information Systems
| Hi-index | 0.00 |
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.