Introduction to algorithms
One-unambiguous regular languages
Information and Computation
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Introduction to Formal Language Theory
Introduction to Formal Language Theory
Consistently updating XML documents using incremental constraint check queries
Proceedings of the 4th international workshop on Web information and data management
Automata theory for XML researchers
ACM SIGMOD Record
Incremental Validation of XML Documents
ICDT '03 Proceedings of the 9th International Conference on Database Theory
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)
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Type-based optimization for regular patterns
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Schema-based independence analysis for XML updates
Proceedings of the VLDB Endowment
EXup: an engine for the evolution of XML schemas and associated documents
Proceedings of the 2010 EDBT/ICDT Workshops
Hi-index | 0.00 |
We study the problem of schema revalidation where XML data known to conform to one schema must be validated with respect to another schema. Such revalidation algorithms have applications in schema evolution, query processing, XML-based programming languages, and other domains. We describe how knowledge of conformance to an XML Schema may be used to determine conformance to another XML Schema efficiently. We examine both the situation where an XML document is modified before it is revalidated and the situation where it is unmodified.