SPARQL的表达能力The Expressive Power of SPARQL |
|
课程网址: | http://videolectures.net/iswc08_angles_epsparql/ |
主讲教师: | Renzo Angles |
开课单位: | 智利大学 |
开课时间: | 2008-11-24 |
课程语种: | 英语 |
中文简介: | 本文研究了SPARQL的表现力。主要结果是SPARQL和非递归安全负数据日志具有等效的表达能力,因此,根据经典结果,SPARQL从表达角度到关系代数是等效的。我们在两个方向上给出了转换的显式一般规则。本文的其他研究结果证明了可以在SPARQL中模拟否定,非安全过滤器是多余的,当前的SPARQLW3C语义可以简化为标准的组合语义。 |
课程简介: | This paper studies the expressive power of SPARQL. The main result is that SPARQL and non-recursive safe Datalog with negation have equivalent expressive power, and hence, by classical results, SPARQL is equivalent from an expressive point of view to Relational Algebra. We present explicit generic rules of the transformations in both directions. Among other findings of the paper are the proof that negation can be simulated in SPARQL, that non-safe filters are superfluous, and that current SPARQL W3C semantics can be simplified to a standard compositional one. |
关 键 词: | 安全数据记录; 通用规则; 非安全过滤器 |
课程来源: | 视频讲座网 |
最后编审: | 2020-09-21:heyf |
阅读次数: | 42 |