arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1108.6328cs.DB
收藏

基于链接数据的查询执行的基础(扩展版)

Foundations of Traversal Based Query Execution over Linked Data (Extended Version)

Olaf Hartig, Johann-Christoph Freytag

摘要:

最近,在关联数据的Web上执行查询引起了人们的广泛关注。一种特别有趣的方法是基于链接遍历的查询执行,它提出将数据链路的遍历集成到查询结果的构造中。因此,与传统的查询执行范例相比,这种方法并不预先假设一组固定的相关数据源;相反,它可以动态地发现数据,从而使应用程序能够挖掘Web的全部潜力。虽然一些作者研究的可能性,实现基于链接遍历的查询执行的想法,并在这种情况下优化查询执行,没有工作存在,讨论的理论基础的方法一般。我们的论文填补了这一空白。我们引入了一个定义良好的语义查询,可以使用基于链接遍历的方法执行。基于这种语义,我们正式分析这种查询的属性。特别是,我们研究了查询的可计算性以及查询一个潜在的无限的关联数据网络的影响。我们的研究结果表明,查询计算一般不能保证终止,对于任何给定的查询,它是不可判定的执行是否终止。此外,我们定义了一个抽象的执行模型,捕捉到查询执行过程中的链接遍历的集成。在此模型的基础上,我们证明了基于链接遍历的查询执行的可靠性和完备性,并分析了现有的实现方法。

英文摘要:

Query execution over the Web of Linked Data has attracted much attention recently. A particularly interesting approach is link traversal based query execution which proposes to integrate the traversal of data links into the construction of query results. Hence -in contrast to traditional query execution paradigms- this approach does not assume a fixed set of relevant data sources beforehand; instead, it discovers data on the fly and, thus, enables applications to tap the full potential of the Web. While several authors study possibilities to implement the idea of link traversal based query execution and to optimize query execution in this context, no work exists that discusses the theoretical foundations of the approach in general. Our paper fills this gap. We introduce a well-defined semantics for queries that may be executed using the link traversal based approach. Based on this semantics we formally analyze properties of such queries. In particular, we study the computability of queries as well as the implications of querying a potentially infinite Web of Linked Data. Our results show that query computation in general is not guaranteed to terminate and that for any given query it is undecidable whether the execution terminates. Furthermore, we define an abstract execution model that captures the integration of link traversal into the query execution process. Based on this model we prove the soundness and completeness of link traversal based query execution and analyze an existing implementation approach..

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑