Algebraic Structures for Capturing the Provenance of SPARQL Queries - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of the ACM (JACM) Year : 2016

Algebraic Structures for Capturing the Provenance of SPARQL Queries


The evaluation of SPARQL algebra queries on various kinds of annotated RDF graphs can be seen as a particular case of the evaluation of these queries on RDF graphs annotated with elements of so-called spm-semirings. Spm-semirings extend semirings, used for representing the provenance of positive relational algebra queries on annotated relational data, with a new operator to capture the semantics of the non-monotone SPARQL operators. Furthermore, spm-semiring-based annotations ensure that desired SPARQL query equivalences hold when querying annotated RDF. In this work, in addition to introducing spm-semirings, we study their properties and provide an alternative characterization of these structures in terms of semirings with an embedded boolean algebra (or seba-structure for short). This characterization allows us to construct spm-semirings and identify a universal object in the class of spm-semirings. Finally, we show that this universal object provides a provenance representation of poly-sized overhead and can be used to evaluate SPARQL queries on arbitrary spm-semiring-annotated RDF graphs.
Fichier principal
Vignette du fichier
a7-geerts.pdf (1.05 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01411827 , version 1 (07-12-2016)





Floris Geerts, Thomas Unger, Grigoris Karvounarakis, Irini Fundulaki, Vassilis Christophides. Algebraic Structures for Capturing the Provenance of SPARQL Queries. Journal of the ACM (JACM), 2016, 63 (1), pp.7. ⟨10.1145/2810037⟩. ⟨hal-01411827⟩


177 View
371 Download



Gmail Facebook X LinkedIn More