Sciweavers

ICDE
2004
IEEE

Efficient Incremental Validation of XML Documents

15 years 16 days ago
Efficient Incremental Validation of XML Documents
We discuss incremental validation of XML documents with respect to DTDs and XML Schema definitions. We consider insertions and deletions of subtrees, as opposed to leaf nodes only, and we also consider the validation of ID and IDREF attributes. For arbitrary schemas, we give a worstcase ????????? time and linear space algorithm, and show that it often is far superior to revalidation from scratch. We present two classes of schemas, which capture most reallife DTDs, and show that they admit a logarithmic time incremental validation algorithm that, in many cases, requires only constant auxiliary space. We then discuss an implementation of these algorithms that is independent of, and can be customized for different storage mechanisms for XML. Finally, we present extensive experimental results showing that our approach is highly efficient and scalable.
Denilson Barbosa, Alberto O. Mendelzon, Leonid Lib
Added 01 Nov 2009
Updated 01 Nov 2009
Type Conference
Year 2004
Where ICDE
Authors Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas
Comments (0)