The multiset semantics of SPARQL patterns
Databases
2016-10-17 v1
Abstract
The paper determines the algebraic and logic structure of the multiset semantics of the core patterns of SPARQL. We prove that the fragment formed by AND, UNION, OPTIONAL, FILTER, MINUS and SELECT corresponds precisely to both, the intuitive multiset relational algebra (projection, selection, natural join, arithmetic union and except), and the multiset non-recursive Datalog with safe negation.
Cite
@article{arxiv.1610.04315,
title = {The multiset semantics of SPARQL patterns},
author = {Renzo Angles and Claudio Gutierrez},
journal= {arXiv preprint arXiv:1610.04315},
year = {2016}
}
Comments
This is an extended and updated version of the paper accepted at the International Semantic Web Conference 2016