Semantics and complexity of SPARQL

  • Authors:
  • Jorge Pérez;Marcelo Arenas;Claudio Gutierrez

  • Affiliations:
  • Pontificia Universidad Católica de Chile, Chile;Pontificia Universidad Católica de Chile, Chile;Universidad de Chile, Chile

  • Venue:
  • ACM Transactions on Database Systems (TODS)
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

SPARQL is the standard language for querying RDF data. In this article, we address systematically the formal study of the database aspects of SPARQL, concentrating in its graph pattern matching facility. We provide a compositional semantics for the core part of SPARQL, and study the complexity of the evaluation of several fragments of the language. Among other complexity results, we show that the evaluation of general SPARQL patterns is PSPACE-complete. We identify a large class of SPARQL patterns, defined by imposing a simple and natural syntactic restriction, where the query evaluation problem can be solved more efficiently. This restriction gives rise to the class of well-designed patterns. We show that the evaluation problem is coNP-complete for well-designed patterns. Moreover, we provide several rewriting rules for well-designed patterns whose application may have a considerable impact in the cost of evaluating SPARQL queries.