编译时XQuery验证

时间:2013-03-23 11:30:25

标签: functional-programming xquery static-analysis

存在哪些用于静态分析XQuery函数的工具?

示例任务:给定两个XSD架构 A B 以及一些XQuery f ,检查任何文档 d 类型 A 其转换 f(d) B 有效。

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

遗憾的是,这个主题很难用于Google搜索。

1 个答案:

答案 0 :(得分:0)

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

  

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

我找到的其他资源哪些内容对此主题感兴趣Using XML Editor to Create or Validate an OLAC Static RepositoryWhere can I find static/dynamic code analysis tools for XSLT?(氧气可以与X-QueryX-PathXLink一起使用来命名少)。