XQuery 函数库组织

Question

通常，当我使用 XSLT 时，我会创建一个主要由导入组成的主文件。我将每个导入文件保持得较小，以便更容易维护。

我试图在 XQuery(在 MarkLogic 中)中做同样的事情，但我无法让它按照我希望的方式工作。

这是我想要做的事情:

main.xqy:

xquery version "1.0-ml";
module namespace summit = "http://example.com/summit";
import module "http://example.com/summit" at "/ext/variables.xqy";
import module "http://example.com/summit" at "/ext/utils.xqy";

变量.xqy:

xquery version "1.0-ml";
module namespace summit = "http://example.com/summit";
declare variable $BASEURL as xs:string  := "https://example.com/v1";

utils.xqy:

xquery version "1.0-ml";
module namespace summit = "http://example.com/summit";
declare function summit:baseUrl() {
    let $url := $BASEURL
    return $url
};

然后使用以下代码在查询控制台中调用它:

xquery version "1.0-ml";
import module namespace summit = "http://example.com/summit" at "/ext/main.xqy";
summit:baseUrl()

我收到以下错误:

[1.0-ml] XDMP-UNDVAR: (err:XPST0008) Undefined variable $BASEURL
Stack Trace
In /ext/utils.xqy on line 4
In xdmp:eval("xquery version &quot;1.0-ml&quot;;&#10;import module namespace s...", (), <options xmlns="xdmp:eval"><database>8148014817830251656</database>...</options>)

对于以相同方式定义的函数(在一个 xquery 文件中定义，在导入到 main.xqy 的另一个文件中使用)，我遇到类似的错误。

我可以通过将变量.xqy 导入 utils.xqy 来解决这个问题，但我想避免这种情况，因为它会增加管理开销，而不是减少管理开销。

我确信我在这里做的事情显然是错误的，但我不确定是什么。

如何组织大型 xquery 项目？

Answer 1

与 XSLT 不同，XQuery 的设计使得模块可以独立编译，这意味着模块不能依赖于通过遵循其自己的模块导入(传递性)无法访问的变量或函数。

尽管这有时会带来不便，但它确实具有使库模块更可重用的好处，因为它们没有隐藏的依赖项，这意味着它们可以导入到一个主模块中，而不能导入到另一个主模块中。

请注意，这里有一些微妙之处。首先，规范指出，如果两次导入同一模块，则只会获得变量的一份副本:

如果查询通过多个路径导入同一模块，则仅导入该模块的一个实例。由于只导入模块的一个实例，因此模块的 prolog 中声明的每个变量只有一个实例。

但它也指出“同一模块”的概念是模糊的:

当同一绝对位置 URI 多次使用时，无论是在同一个“导入模块”声明中，还是在同一查询中的不同“导入模块”声明中，包含该模块的资源的单个副本是已加载。当使用不同的绝对位置 URI 时，每个都会导致加载单个模块，除非实现能够确定不同的 URI 是对同一资源的引用。只要绝对位置 URI 在每种情况下都相同，就不会因重复的变量或函数名称而导致多次导入同一模块而出现错误。