Validating streaming XML documents
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Tamino - A DBMS designed for XML
Proceedings of the 17th International Conference on Data Engineering
Incremental Validation of XML Documents
ICDT '03 Proceedings of the 9th International Conference on Database Theory
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Anatomy of a native XML base management system
The VLDB Journal — The International Journal on Very Large Data Bases
Typing and querying XML documents: some complexity bounds
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
Efficient Incremental Validation of XML Documents
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
On validation of XML streams using finite state machines
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)
System RX: one part relational, one part XML
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Native Xquery processing in oracle XMLDB
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
On the Intersection of XPath Expressions
IDEAS '05 Proceedings of the 9th International Database Engineering & Application Symposium
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Autonomous Index Optimization in XML Databases
ICDEW '05 Proceedings of the 21st International Conference on Data Engineering Workshops
Compressing SOAP Messages by using Pushdown Automata
ICWS '06 Proceedings of the IEEE International Conference on Web Services
XMark: a benchmark for XML data management
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Hi-index | 0.00 |
Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance in relational structures or file systems. XML data has to be wellformed by definition and additionally, in many cases, it has to be valid according to a given XML schema. Because the XML column types are often derived from text types (e.g. CLOBs) guaranteeing well-formedness as well as validity is not trivial. And even worse, for frequently modified data it is usually too expensive to re-validate the whole XML data after each update - but waiving re-validation may lead to inconsistencies and malfunctions of applications. In this paper we present a schema-aware pushdown automaton (i.e. a stack machine) that validates an XML string/stream. Using an element/state-index, the pushdown automaton is able to re-validate local modifications of the data while guaranteeing overall validity. Update operations (e.g. SQLXML, XQuery updates) are validated before executing them.