D.3. XML对于SQL的限制和符合性/XML

D.3.1. 查询只限于XPath 1.0
D.3.2. 实现中的附带限制

ISO/IEC 9075-14中与XML相关的规范进行了重大修订 (SQL/XML)与SQL:2006一起被引入. LightDB's 的XML数据类型和相关函数的实现基本上沿用了2003年的早期版本。有一些借鉴了后来的版本。 特别是:

本节介绍了一些你可能会遇到的差异。

D.3.1. 查询只限于XPath 1.0

LightDB-指定的函数 xpath()xpath_exists()使用XPath语言查询XML文档。 LightDB也提供了标准函数中的XPath-only变体XMLEXISTSXMLTABLE, 其中正式采用XQuery语言。所有这些函数 LightDB都依赖于libxml2 库,而这个库仅在XPath 1.0中提供。

在XQuery语言和XPath 2.0及以后的版本之间有很强的联系:任何语法上有效的表达式,在这两个版本中都能成功地执行,都会产生相同的结果(对于包含数字字符引用或预定义的实体引用的表达式会略有不同, XQuery会用相应的字符替换,而 XPath则不会。) 但这些语言和XPath 1.0之间没有这种联系,它是一种较早的语言,在很多方面都有区别。

有两类限制需要记住:一是对SQL标准中指定的函数从XQuery到XPath的限制,二是对标准和LightDB特定函数XPath的限制是1.0版本 。

D.3.1.1. XQuery到XPath的限制

除了XPath的特性之外,XQuery的特性还包括:

  • 除了所有可能的XPath值之外,XQuery表达式还可以构造和返回新的XML节点。 XPath 可以创建和返回原子类型(数字、字符串等)的值,但只能返回作为表达式输入的文档中已经存在的XML节点。

  • XQuery有用于迭代、排序和分组的控制结构。

  • XQuery允许声明和使用局部函数。

最近的 XPath 版本开始提供与这些功能重叠的功能(例如函数式的 for-eachsort,匿名函数,以及 parse-xml从字符串中创建节点的parse-xml),但这些功能在 XPath 3.0 之前是不具备的。

D.3.1.2. 对XPath的限制为1.0

对于熟悉XQuery和XPath 2.0或更高版本的开发人员来说,XPath 1.0带来了许多不同的地方,需要解决的是:

  • 一个XQuery/XPath表达式的基本类型,即 sequence,它可以包含XML节点、原子值或两者,在XPath 1.0中不存在。一个1.0表达式只能产生一个节点集(包含0个或更多的XML节点),或者一个原子值。

  • 与XQuery/XPath序列不同的是,XPath 1.0节点集没有保证顺序,和任何集一样,不允许同一个项目多次出现。

    Note

    libxml2库似乎总是将节点集返回到LightDB的节点集,其成员在输入文档中的相对顺序是一样的。 它的文档并没有承诺这种行为,而且XPath 1.0表达式不能控制它。

  • 虽然XQuery/XPath提供了XML Schema中定义的所有类型和许多操作符和函数,但XPath 1.0只有节点集和三种原子类型booleandoublestring

  • XPath 1.0没有条件运算符。一个XQuery/XPath表达式,如if ( hat ) then hat/@size else "no hat"没有XPath 1.0的等价物。

  • XPath 1.0没有对字符串进行排序比较运算符。"cat" < "dog""cat" > "dog"都是假的,因为每一个都是两个NaN的数值比较。相比之下,=!!=确实将字符串作为字符串进行比较。

  • XPath 1.0模糊了XQuery/XPath定义的值比较一般比较之间的区别。 sale/@hatsize = 7sale/@customer = "alice"都是存在的量化比较,如果有任何sale属性的给定值,则为真。但sale/@taxable = false()是与整个节点集的有效布尔值的值比较。只有当没有sale有一个taxable属性时,它才是真值。

  • 在XQuery/XPath数据模型中,一个文档节点既可以有文档形式(即正好有一个顶层元素,只有注释和处理指令以外的注释和处理指令),也可以有内容形式(放宽了这些限制)。在XPath 1.0中,它的等价物是根节点,只能是文档形式。这也是xml的值被作为 上下文项到任何 LightDB的上下文项 基于XPath的函数必须是以文档形式出现。

这里强调的区别并不是全部。在XQuery和XPath的2.0及以后的版本中,有一个XPath 1.0的兼容性模式,W3C列出的 函数库变化语言变化在该模式下应用的列表提供了一个更完整(但仍然不是详尽的)的差异说明。 兼容性模式不能使后来的语言与XPath 1.0完全等同。

D.3.1.3. SQL和XML数据类型和值之间的映射

在SQL:2006及以后的版本中,标准SQL数据类型和XML Schema类型之间的转换方向都被精确地指定了。但是,这些规则都是用XQuery/XPath的类型和语义来表示的,对于XPath 1.0的不同数据模型没有直接应用。

LightDB将SQL数据值映射到XML(如xmlelement),或XML映射到SQL(如输出 xmltable的列),除了少数情况下的 特殊处理,LightDB只需假定 XML 数据类型的 XPath 1.0 字符串形式将被视为有效的文本输入形式的SQL数据类型,反之。 该规则的优点是简单,同时对许多数据类型来说,产生的结果与标准中规定的映射类似。

如果与其他系统的互操作性是一个问题,对于某些数据类型,可能需要使用数据类型格式化函数(如Section 10.8中的函数)来生成标准映射。

D.3.2. 实现中的附带限制

本节涉及的限制并不是libxml2库所固有的,而是适用于LightDB中的当前实现。

D.3.2.1. 仅支持by VALUE传递机制

SQL标准定义了两种传递机制,适用于从SQL向XML函数传递XML参数或接收结果时。BY REF,其中一个特定的XML 值保留其节点身份,以及BY VALUE,其中传递XML的内容,但不保留节点身份。可以在参数列表之前指定,作为所有参数的默认机制,也可以在任何参数之后指定,以覆盖默认机制。

为了说明区别,如果x是一个XML值,那么在SQL:2006环境下的这两个查询将分别产生true和false。

SELECT XMLQUERY('$a is $b' PASSING BY REF x AS a, x AS b NULL ON EMPTY);
SELECT XMLQUERY('$a is $b' PASSING BY VALUE x AS a, x AS b NULL ON EMPTY);

LightDB将在XMLEXISTSXMLTABLE构造中接受BY VALUEBY REF,但它会忽略它们。 xml数据类型持有一个字符串的序列化表示,因此没有节点标识需要保留,并且传递总是有效的BY VALUE

D.3.2.2. 不能将命名的参数传递到查询中

基于 XPath 的函数支持传递一个参数作为 XPath 表达式的上下文项,但不支持传递额外的值作为命名参数提供给表达式。

D.3.2.3. 无 XML(SEQUENCE)类型

LightDB xml数据类型只能保存一个值,在DOCUMENTCONTENT形式。 一个XQuery/XPath表达式上下文项必须是一个单一的XML节点或原子值,但XPath 1.0进一步限制它只能是一个XML节点,并且没有允许CONTENT的节点类型。 最终的结果是,一个完善的 DOCUMENT LightDB可以作为XPath上下文项提供的唯一形式的XML值。