Validating streaming XML documents
Validating streaming XML documents
复制标题
验证流式 XML 文档
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
V. Vianu
中科院分区：
文献类型：
--
作者：
L. Segoufin;V. Vianu
本文研究了在内存约束下，流XML文档相对于DTD的在线验证。我们首先考虑验证使用常数内存，形式化的有限状态自动机（FSA）。我们研究两种类型的问题，这取决于XML文档是否被假定为格式良好。该文件的主要结果提供的条件下，任何一种口味的验证可以使用FSA的DTDs。对于无法通过FSA验证的DTD，我们研究了两种替代方案。第一种方法通过允许以XML文档的深度为界的堆栈，同时保持确定性的一次通过要求，从而放宽了对恒定内存的要求。第二种方法是细化DTD，以提供允许FSA进行验证的附加信息。
This paper investigates the on-line validation of streaming XML documents with respect to a DTD, under memory constraints. We first consider validation using constant memory, formalized by a finite-state automaton (FSA). We examine two flavors of the problem, depending on whether or not the XML document is assumed to be well-formed. The main results of the paper provide conditions on the DTDs under which validation of either flavor can be done using an FSA. For DTDs that cannot be validated by an FSA, we investigate two alternatives. The first relaxes the constant memory requirement by allowing a stack bounded in the depth of the XML document, while maintaining the deterministic, one-pass requirement. The second approach consists in refining the DTD to provide additional information that allows validation by an FSA.