编译时 XQuery 验证答案

【问题标题】：Compile-time XQuery validation编译时 XQuery 验证
【发布时间】：2013-03-23 11:30:25
【问题描述】：

有哪些工具可用于 XQuery 函数的静态分析？

示例任务：给定两个 XSD 模式 A 和 B 以及一些 XQuery f，检查任何文档 d A 类型的 em> 其变换 f(d) 对 B 有效。

或者对于给定的查询生成它的逆，当存在时。

不幸的是，这个主题很难用谷歌搜索。

【问题讨论】：

【解决方案1】：

是的，我认为 OxygenXML 非常适合 XQuery 分析，它内置了自己的手动 static-analysis 工具。

您可以改用手动验证：文档 > 验证 > 在配置转换或将 xDB 连接指定为引擎的验证方案后进行验证。

我发现的其他资源在此主题 Using XML Editor to Create or Validate an OLAC Static Repository 和 Where can I find static/dynamic code analysis tools for XSLT? 上很有趣（氧气可以与 X-Query、X-Path、XLink 一起使用，仅举几例）。

【讨论】：

谢谢。 brics.dk/XSLV（来自您的第二个链接的menteithconsulting.com/wiki/TestingXSLT）似乎解决了我的第一个问题。不确定 Oxygen，但无论如何我都更喜欢免费的命令行工具，它可能包含在项目中。第二个问题现在好像没有解决。
据我所知氧气是基于Saxon-EE。