SPARQL中的相关和替换
Correlation and Substitution in SPARQL
摘要：
在当前的SPARQL规范中，相关性和替换的概念没有很好地定义。这个问题引发了语义上的几个歧义。事实上，Fuseki和Virtuoso的实现采用了不同的语义。在这份技术报告中，我们提供了一个相关和替代的语义，遵循逻辑，程序设计语言和SQL中的替代和相关的经典哲学。我们认为这个建议不仅解决了当前的歧义和问题，而且有助于为语言的进一步扩展建立一个安全的形式化基础。这项工作是丹尼尔·埃尔南德斯正在进行的工作的一部分。SPARQL 1.1的W3C规范中的这些异常早在2014年就被发现并报告，当时注册了两个错误（参见。https://www.w3.org/2013/sparql-errata#errata-query-8和https：//www.w3.org/2013/sparql-errata#errata-query-10）。
英文摘要：
In the current SPARQL specification the notion of correlation and substitution are not well defined. This problem triggers several ambiguities in the semantics. In fact, implementations as Fuseki and Virtuoso assume different semantics. In this technical report, we provide a semantics of correlation and substitution following the classic philosophy of substitution and correlation in logic, programming languages and SQL. We think this proposal not only fix the current ambiguities and problems, but helps to set a safe formal base to further extensions of the language. This work is part of an ongoing work of Daniel Hernandez. These anomalies in the W3C Specification of SPARQL 1.1 were detected early and reported no later than 2014, when two erratas were registered (cf. https://www.w3.org/2013/sparql-errata#errata-query-8 and https://www.w3.org/2013/sparql-errata#errata-query-10).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
