編譯時XQuery驗證

Question

有哪些工具可用於靜態分析XQuery函數？

實施例的任務：給出了兩個XSD模式甲和乙和一些的XQuery ˚F，檢查對於任何文件d類型甲其變換F（d）的是針對有效B。

或者對於給定的查詢生成其反函數，當存在時。

不幸的是，這個主題很難用谷歌搜索。

Answer 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用於僅舉幾例）其他資源。