Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
An improved LALR(k) parser generation for regular right part grammars
Information Processing Letters
An efficient context-free parsing algorithm
Communications of the ACM
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
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
xTagger: a new approach to authoring document-centric XML
Proceedings of the 5th ACM/IEEE-CS joint conference on Digital libraries
Processing XML documents with overlapping hierarchies
Proceedings of the 5th ACM/IEEE-CS joint conference on Digital libraries
A framework for processing complex document-centric XML with overlapping structures
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Journal of Computer and System Sciences
Hi-index | 0.01 |
The process of creation of document-centric XML documents often starts with a prepared textual content, into which the editor introduces markup. In such situations, intermediate XML is almost never valid with respect to the DTD/Schema used for the encoding. At the same time, it is important to ensure that at each moment of time, the editor is working with an XML document that can enriched with further markup to become valid. In this paper we introduce the notion of potential validity of XML documents, which allows us to distinguish between XML documents that are invalid because the encoding is simply incomplete and XML documents that are invalid because some of the DTD rules guiding the structure of the encoding were violated during the markup process. We give a linear-time algorithm for checking potential validity for documents.