Show simple item record

Authordc.contributor.authorCampo, Marcela 
Authordc.contributor.authorVaisman, Alejandro es_CL
Admission datedc.date.accessioned2008-12-15T15:50:17Z
Available datedc.date.available2008-12-15T15:50:17Z
Publication datedc.date.issued2006
Cita de ítemdc.identifier.citationDATABASE AND XML TECHNOLOGIES, PROCEEDINGS Book Series: LECTURE NOTES IN COMPUTER SCIENCE Volume: 4156 Pages: 31-45 Published: 2006en
Identifierdc.identifier.issn0302-9743
Identifierdc.identifier.urihttps://repositorio.uchile.cl/handle/2250/124779
Abstractdc.description.abstractDifferent 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.en
Lenguagedc.language.isoenen
Publisherdc.publisherSPRINGER-VERLAG BERLINen
Títulodc.titleConsistency of temporal XML documentsen
Document typedc.typeArtículo de revista


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record