Geerts, Floris, Karvounarakis, Grigoris, Christophides, Vassilis and Fundulaki, Irini (2013) Algebraic structures for capturing the provenance of SPARQL queries. In: Proceedings of the 16th International Conference on Database Theory - ICDT '13. Association for Computing Machinery, pp. 153-164. ISBN 9781450315982Metadata only available from this repository.
We show that the evaluation of SPARQL algebra queries on various notions of annotated RDF graphs can be seen as particular cases of the evaluation of these queries on RDF graphs annotated with elements of so-called spm-semirings. Spm-semirings extend semirings, used for positive relational algebra queries on annotated relational data, with a new operator to capture the semantics of the non-monotone SPARQL operator OPTIONAL. Furthermore, spm-semiring-based annotations ensure that desired SPARQL query equivalences hold when querying annotated RDF. 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 to construct spm-semirings and to identify a universal object in the class of spm-semirings. Finally, we show that this universal object provides a concise provenance representation and can be used to evaluate SPARQL queries on arbitrary spm-semiring-annotated RDF graphs.
|Item Type:||Book Chapter|
|Subjects:||T Technology > T Technology (General)|
|Schools:||School of Computing and Engineering|
|Depositing User:||Cherry Edmunds|
|Date Deposited:||20 Sep 2013 11:59|
|Last Modified:||07 Oct 2013 11:11|
Downloads per month over past year
Repository Staff Only: item control page