xml - 使用什么算法根据 XSD 验证 XML？

Question

我正在编写自己的验证 XML 解析器。 (是的，我知道这是一项非常复杂的任务，使用 libxml2 或 Xerces 等现有产品将是更明智的选择。但这不是一个选择，所以请多多包涵。)

将 XML 和 XSD 文件解析为树结构应该不是很困难。但是，我似乎无法弄清楚要使用什么算法来根据 XSD 验证 XML 树。

我做了一些研究，但我发现的所有内容要么过于笼统(如何编写编译器等)，要么过于具体(例如增量验证)。

我有一些自己的想法，但它们都相当复杂，所以我真的很想在开始编码之前更加确定我的想法的有效性(无双关语)。

在此先致谢，如果您认为可以提供帮助，请随时询问更多详情!

Answer 1

编写 XSD 处理器并使其通过 W3C 测试套件中的 50,000 次左右测试需要大量的跑腿工作。但是，如果您坚持使用根据语法验证实例的关键算法，这是一个很好的起点:

http://www.ltg.ed.ac.uk/~ht/XML_Europe_2003.html

您还应该获得一份 Aho 和 Ullman 的副本，其中包含 Henry 引用的算法。