23、SPARQL查询评估与代数运算详解

SPARQL查询评估与代数运算详解

1. 基础概念

在SPARQL代数中，有几个基础概念会被反复使用。

1.1 基本图模式（Basic Graph Pattern）

基本图模式是一组三元组模式。三元组模式是一个三元组，属于集合 ({(x, y, z) | x \in (RDFT \cup V), y \in (I \cup V), z \in (RDFT \cup V)})，其中 (RDFT) 是RDF术语的集合（RDF术语可以是IRI、空白节点或文字），(V) 是查询变量的集合，(I) 是IRI的集合，并且变量集合和RDF术语集合是不相交的，即 (V \cap RDFT = \varnothing)。

1.2 解决方案映射（Solution Mapping）

解决方案映射 (\mu) 是从 (V) 到 (RDFT) 的部分映射。(dom(\mu)) 是变量集合 (V’\subseteq V)，对应于解决方案映射 (\mu) 的定义域。如果对于 (dom(\mu_1)) 和 (dom(\mu_2)) 中的每个变量 (v)，都有 (\mu_1(v) = \mu_2(v))，则两个解决方案映射 (\mu_1) 和 (\mu_2) 是兼容的。注意，RDF术语的相等性定义取决于其类型，例如两个IRI相等当且仅当它们是逐字符相同的Unicode字符串，两个文字相等需要满足以下条件：
- 两个字符串的词法形式逐字符比较相等；
- 要么都有语言标签，且语言标签相等；要么都没有语言标签；
- 要么都有数据类型IRI，且数据类型IRI相等；要么都没有数据类型IRI。

如果 (\mu_1) 和 (\mu