functional-programming - 编译时 XQuery 验证

Question

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

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

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

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

Answer 1

是的，我认为OxygenXMLXQuery 分析非常棒，它内置了自己的手动静态分析工具。

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

我发现的其他资源在此主题上很有趣使用 XML 编辑器创建或验证 OLAC 静态存储库以及在哪里可以找到 XSLT 的静态/动态代码分析工具？（氧气可以与X-Query, X-Path,XLink一起使用）。