XPath、XQuery与XQuery Update的韦恩图及超集判定问题

韦恩图结构说明 #

三者的包含关系呈现三层嵌套结构，文字模拟的韦恩图如下：

┌─────────────────────────────────┐
│       XQuery Update             │
│  ┌───────────────────────────┐  │
│  │       XQuery             │  │
│  │  ┌─────────────────────┐  │  │
│  │  │   XPath 3.1         │  │  │
│  │  └─────────────────────┘  │  │
│  └───────────────────────────┘  │
└─────────────────────────────────┘

• 最内层集合：XPath 3.1（最新版XPath），提供XML数据的路径查询核心能力
• 中间层集合：XQuery（最新版），完全包含XPath 3.1的所有语法与特性，额外扩展了FLWOR表达式、自定义函数、模块系统等复杂查询能力
• 最外层集合：XQuery Update（最新版），完全包含XQuery的全部功能，新增了XML数据的插入、删除、替换等更新操作语句

判断题解答 #

注：以下判断中，XQuery、XQuery Update均指其最新版本。

• [判断题] XQuery是XPath的超集，即XQuery语言包含XPath的全部内容并有所扩展。

  结论：无法直接判定，需明确XPath版本。不同版本XPath与XQuery的包含关系存在差异。

• [判断题] XQuery是XPath 1.0的超集

  结论：错误。最新版XQuery基于XPath 3.1构建，虽兼容XPath 1.0大部分语法，但并非严格超集——XPath 1.0的部分旧特性（如部分函数行为）在XQuery中存在差异，且XQuery未包含XPath 1.0的已废弃特性。

• [判断题] XQuery是XPath 2.0的超集

  结论：正确。XPath 2.0是XQuery 1.0的核心基础，最新版XQuery完全继承XPath 2.0的所有语法与特性，并在此基础上扩展了更多功能。

• [判断题] XQuery是XPath 3.0的超集

  结论：正确。XPath 3.0的全部特性被整合进对应版本的XQuery中，最新版XQuery包含XPath 3.0的所有内容，同时增加了高级特性。

• [判断题] XQuery是XPath 3.1的超集

  结论：正确。最新版XQuery（XQuery 3.1）与XPath 3.1共享核心数据模型和表达式语法，XQuery包含XPath 3.1的全部内容，并扩展了FLWOR循环、自定义函数、模块系统等功能。

• [判断题] XQuery Update是XQuery的超集

  结论：正确。XQuery Update是在XQuery基础上扩展的语言，保留了XQuery的所有查询能力，同时新增insert、delete、replace等XML数据更新语句。

内容的提问来源于stack exchange，提问作者Roger Costello