Checking potential validity of XML documents

On Potential Validity of Document-Centric XML Documents

“…The documents of the second type, which can be made valid by adding more markup were called potentially valid in [11]. In that paper, together with formulating the definition, we have shown that the set of potentially valid XML documents w.r.t.…”

“…While this 2 Because potential validity concerns only structural properties of the XML document, any schema definition method, DTD, XML Schema or Relax-NG can be used. Without loss of generality we concentrate on the result implies immediately, that there exists a polynomial algorithm for determining potential validity [6], we showed in [11] that because the language of potentially valid documents is highly ambiguous, such standard CFG parsing algorithms as Earley's are not practical. In [11] we have began our search for an efficient algorithm for checking potential validity by offering a linear-time algorithm that correctly works on a subclass of DTDs -DTDs without recursive elements.…”

“…The notion of potential validity of an XML document introduced in [11] arose from the study of the needs of human editors of document-centric XML documents. As it happens, the editorial process for document-centric XML documents stands in contrast with that of data-centric XML.…”

“…In [11] we point at two possible sources of such invalidity: (i) incompleteness of the encoding and (ii) direct violation of a schema rule. This is shown in the following example.…”

Processing XML documents with overlapping hierarchies

“…xTagger allows users to select a document fragment and choose the approriate markup for it (from any of the XML hierarchies associated with the document). It implements prevalidation checking, which detects encodings that cannot be extended to valid XML with further markup insertions [2].…”