47、链接数据片段比较的形式化框架

链接数据片段比较的形式化框架

1. 服务器语言与响应组合语言

• 服务器语言

  • Bgp ：SPARQL的基本图模式片段，包含三元组模式和逻辑与操作。
  • Tpf ：由单个三元组模式组成的查询语言，对应支持三元组模式片段接口的服务器。
  • Tpf + Filter ：查询形式为 (tp Filter θ) ，其中 tp 是三元组模式， θ 是SPARQL内置条件。
  • brTpf ：查询形式为 (tp, Ω) ， tp 是三元组模式， Ω 是一组解决方案映射，对应绑定受限的三元组模式接口。
  • Dump ：只有一个表达式 (?s, ?p, ?o) ，用于下载完整的服务器端数据集。

  对于任意两个服务器语言 LS 和 L′S ，若 LS 中的每个查询也在 L′S 中，则记为 LS ⊆ L′S ，例如 Dump ⊆ Tpf ⊆ Bgp ⊆ coreS