Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Typechecking for XML transformers
Journal of Computer and System Sciences - Special issue on PODS 2000
XEM: Managing the Evolution of XML Documents
RIDE '01 Proceedings of the 11th International Workshop on research Issues in Data Engineering
ACM SIGMOD Record
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Processing XML streams with deterministic automata and stream indexes
ACM Transactions on Database Systems (TODS)
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Impact of XML schema evolution on valid documents
Proceedings of the 7th annual ACM international workshop on Web information and data management
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
Visibly pushdown automata for streaming XML
Proceedings of the 16th international conference on World Wide Web
SchemaScope: a system for inferring and cleaning XML schemas
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Efficient inclusion checking for deterministic tree automata and XML Schemas
Information and Computation
X-Evolution: a system for XML schema evolution and document adaptation
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Which XML schemas admit 1-pass preorder typing?
ICDT'05 Proceedings of the 10th international conference on Database Theory
A quantitative summary of XML structures
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Hi-index | 0.00 |
This paper presents XEvolve, a framework that unifies streaming validation of XML documents, and efficient testing of equivalence and inclusion of specifications for various XML schema languages. For these purposes, this framework relies on Visibly Pushdown Automata (VPA) as a unifying model for the various schema languages. Schemas are first translated into VPA; standard algorithms for VPA can be then used to validate documents as well as to test equivalence or inclusion of schemas. In general, inclusion and equivalence are tested in exponential-time. However, when the given specifications are provided as DTD or XSD, these tests have a polynomial-time complexity with respect to the automaton size. Moreover, in this case the memory foot-print of the validation does not depend on the size of the input document but only on its depth.