Efficient incremental validation of XML documents after composite updates

Authors:
Denilson Barbosa;Gregory Leighton;Andrew Smith
Affiliations:
University of Calgary, Calgary, AB, Canada;University of Calgary, Calgary, AB, Canada;University of Calgary, Calgary, AB, Canada
Venue:
XSym'06 Proceedings of the 4th international conference on Database and XML Technologies
Year:
2006

Citing 12
Cited 6

Regular languages

Handbook of formal languages, vol. 1
Dyn-FO: a parallel, dynamic complexity class

Journal of Computer and System Sciences - Special issue on principles of database systems
One-unambiguous regular languages

Information and Computation
DTD inference for views of XML data

PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Modern Information Retrieval

Modern Information Retrieval
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
On the Power of Incremental Evaluation in SQL-Like Languages

DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Typing and querying XML documents: some complexity bounds

Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient Incremental Validation of XML Documents

ICDE '04 Proceedings of the 20th International Conference on Data Engineering
DTDs versus XML schema: a practical study

Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004
Incremental validation of XML documents

ACM Transactions on Database Systems (TODS)

Linear time membership in a class of regular expressions with interleaving and counting

Proceedings of the 17th ACM conference on Information and knowledge management
Efficient asymmetric inclusion between regular expression types

Proceedings of the 12th International Conference on Database Theory
Visibly pushdown transducers for approximate validation of streaming XML

FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Incremental validation of digital TV applications in nested context language

Proceedings of the 10th European conference on Interactive tv and video
XML schema evolution: incremental validation and efficient document adaptation

XSym'07 Proceedings of the 5th international conference on Database and XML Technologies
SVMAX: a system for secure and valid manipulation of XML data

Proceedings of the 17th International Database Engineering & Applications Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an efficient method for the incremental validation of XML documents after composite updates. We introduce the class of Bounded-Edit (BE) DTDs and XML Schemas, and give a simple incremental revalidation algorithm that yields optimal performance for them, in the sense that its time complexity is linear in the number of operations in the update. We give extensive experimental results showing that our algorithm exhibits excellent scalability. Finally, we provide a statistical analysis of over 250 DTDs and XML Schema specifications found on the Web, showing that over 99% of them are in fact in BE.