Functional programming 编译时XQuery验证

有哪些工具可以对XQuery函数进行静态分析

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

或者对于给定的查询，如果存在，则生成其逆查询

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

是的，我认为它对于XQuery分析来说非常棒，它内置了自己的手动工具

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

---

我还找到了一些关于这个主题的有趣的资源（氧气可以与

X-Query

，

X-Path

，

XLink

一起使用，举几个例子）。

谢谢。（通过你的第二个链接）似乎解决了我的第一个问题。我不太清楚Oxygen，但无论如何，我更喜欢免费的命令行工具，它可能会包含在项目中。第二个问题现在似乎还没有解决。据我所知，氧气是基于萨克森EE的。