23、SPARQL查询评估与代数操作详解

SPARQL查询评估与代数操作详解

1. 基本概念

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

1.1 基本图模式与三元组模式

基本图模式（Basic Graph Pattern）是一组三元组模式（Triple 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 解决方案映射

解决方案映射 (\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是相等的字符串；要么都