Containment and equivalence of well-designed SPARQL

Query containment and query equivalence constitute important computational problems in the context of static query analysis and optimization. While these problems have been intensively studied for fragments of relational calculus, almost no works exist for the semantic web query language SPARQL. In this paper, we carry out a comprehensive complexity analysis of containment and equivalence for several fragments of SPARQL: we start with the fundamental fragment of well-designed SPARQL restricted to the AND and OPTIONAL operator. We then study basic extensions in the form of the UNION operator and/or projection. The results obtained range from NP-completeness to undecidability.

[1]  Jérôme Euzenat,et al.  SPARQL Query Containment under RDFS Entailment Regime , 2012, IJCAR.

[2]  Marcelo Arenas,et al.  Querying semantic web data with SPARQL , 2011, PODS.

[3]  Jorge Pérez,et al.  Static analysis and optimization of semantic web queries , 2012, PODS '12.

[4]  Vassilis Christophides,et al.  Querying the Semantic Web with RQL , 2003, Comput. Networks.

[5]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[6]  David S. Johnson,et al.  Testing containment of conjunctive queries under functional and inclusion dependencies , 1982, J. Comput. Syst. Sci..

[7]  Marcelo Arenas,et al.  Semantics and complexity of SPARQL , 2006, TODS.

[8]  Anthony C. Klug.  On conjunctive queries containing inequalities , 1988, JACM.

[9]  Vassilis Christophides,et al.  Containment and Minimization of RDF/S Query Patterns , 2005, SEMWEB.

[10]  Andrea Calì,et al.  Taming the Infinite Chase: Query Answering under Expressive Relational Constraints , 2008, Description Logics.

[11]  Mihalis Yannakakis,et al.  Equivalences Among Relational Expressions with the Union and Difference Operators , 1980, J. ACM.

[12]  Michael Schmidt,et al.  Foundations of SPARQL query optimization , 2008, ICDT '10.

[13]  David S. Johnson,et al.  Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies , 1984, J. Comput. Syst. Sci..

[14]  Jérôme Euzenat,et al.  SPARQL Query Containment Under SHI Axioms , 2012, AAAI.

[15]  Claudio Gutiérrez,et al.  The Expressive Power of SPARQL , 2008, SEMWEB.

[16]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[17]  Axel Polleres,et al.  From SPARQL to rules (and back) , 2007, WWW '07.