A logical characterisation of SPARQL federation

Forfatter
Stolpe, Audun
Publisert
2014
Permalenke
http://hdl.handle.net/20.500.12242/771
https://ffi-publikasjoner.archive.knowledgearc.net/handle/20.500.12242/771
DOI
10.3233/SW-140160
Samling
Articles
Description
Stolpe, Audun. A logical characterisation of SPARQL federation. Semantic Web 2014 ;Volum 6.(6) s. 565-584
1215786.pdf
Size: 344k
Sammendrag
The paper provides a logical characterisation of distributed processing of SPARQL queries. The principal notion analysed is that of a distribution scheme; a pair consisting of an evaluation rule and a distribution function. Different choices of evaluation rules and distribution functions give different federation schemes that are proved to be sound and complete wrt. different selections of RDF datasets. Three distribution functions are singled out for special attention, called the even-, standard- and prudent distribution respectively. All yield sound and complete federation schemes when combined with an evaluation rule named the collect-and-combine rule. The completeness results thus obtained are next compared to existing federation systems with the aim of illustrating the potential utility of a framework in which salient properties can be formulated and explored. The final section, relates distribution schemes to the heuristic notion of a join-ordering to yield sound and complete execution plans for the aforementioned federation schemes.
View Meta Data