48、链接数据片段与语言无关关系提取研究

链接数据片段与语言无关关系提取研究

链接数据片段的表达能力与复杂度分析

在链接数据片段（LDF）的研究中，我们主要关注不同服务器接口在请求数量和数据传输大小方面的额外成本。通过一系列定理和引理，我们深入探讨了客户端和服务器能力组合的表达能力和复杂度。

表达能力相关定理

• 定理2 ：$({\bowtie}, brTpf) \prec_e ({\cup, \bowtie}, brTpf)$。该结果表明客户端的并集操作对于获得相关理论结果至关重要。虽然不能直接从$\cup$不能用$\bowtie$表示得出此结论，但通过分析可知，要证明该定理，只需证明$({\cup, \bowtie}, brTpf) \not\preceq_e ({\bowtie}, brTpf)$。引理1进一步证明了更强的结论：$({\cup}, Tpf) \not\preceq_e ({\bowtie, \bowtie, \pi}, brTpf)$。考虑核心SPARQL查询$q = ((?X, a, 2)Union (3, b, 4))$，它可由$({\cup}, Tpf)$ - LDFM计算，但不能由$({\bowtie, \bowtie, \pi}, brTpf)$ - LDFM计算。
• 定理3 ：$({\cup}, brTpf) \prec_e ({\cup, \bowtie}, brTpf)$。同理，只需证明$({\cup, \bowtie}, brTpf) \not\preceq_e ({\cup}, brTpf)$，这可由引理2得出：$({\bowtie}, Tpf) \not\preceq