Query Nesting, Assignment, and Aggregation in SPARQL 1.1

Answering aggregate queries is a key requirement of emerging applications of Semantic Technologies, such as data warehousing, business intelligence, and sensor networks. To fulfil the requirements of such applications, the standardization of SPARQL 1.1 led to the introduction of a wide range of constructs that enable value computation, aggregation, and query nesting. In this article, we provide an in-depth formal analysis of the semantics and expressive power of these new constructs as defined in the SPARQL 1.1 specification, and hence lay the necessary foundations for the development of robust, scalable, and extensible query engines supporting complex numerical and analytics tasks.

[1]  Viktor Leis,et al.  Efficient Processing of Window Functions in Analytical SQL Queries , 2015, Proc. VLDB Endow..

[2]  François Goasdoué,et al.  Efficient OLAP operations for RDF analytics , 2015, 2015 31st IEEE International Conference on Data Engineering Workshops.

[3]  Egor V. Kostylev,et al.  SPARQL with Property Paths , 2015, SEMWEB.

[4]  Karl Aberer,et al.  Enabling Query Technologies for the Semantic Sensor Web , 2012, Int. J. Semantic Web Inf. Syst..

[5]  Georg Gottlob,et al.  Expressive Languages for Querying the Semantic Web , 2018, TODS.

[6]  Egor V. Kostylev,et al.  CONSTRUCT Queries in SPARQL , 2015, ICDT.

[7]  Marcelo Arenas,et al.  Semantics and Complexity of SPARQL , 2006, International Semantic Web Conference.

[8]  Tova Milo,et al.  Towards Tractable Algebras for Bags , 1996, J. Comput. Syst. Sci..

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

[10]  Andriy Nikolov,et al.  Exploiting Linked Data Cubes with OpenCube Toolkit , 2014, International Semantic Web Conference.

[11]  Anthony C. Klug.  Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions , 1982, JACM.

[12]  Egor V. Kostylev,et al.  On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes , 2014, SEMWEB.

[13]  Sara Cohen.  Containment of aggregate queries , 2005, SGMD.

[14]  Efthimios Tambouris,et al.  Processing Linked Open Data Cubes , 2015, EGOV.

[15]  Jan Van den Bussche,et al.  On the primitivity of operators in SPARQL , 2014, Inf. Process. Lett..

[16]  Sara Cohen,et al.  Equivalence of queries combining set and bag-set semantics , 2006, PODS '06.

[17]  Nicole Schweikardt,et al.  Arithmetic, first-order logic, and counting quantifiers , 2002, TOCL.

[18]  Jürgen Umbrich,et al.  Strategies for Executing Federated Queries in SPARQL1.1 , 2014, SEMWEB.

[19]  Limsoon Wong,et al.  Query Languages for Bags and Aggregate Functions , 1997, J. Comput. Syst. Sci..

[20]  Hamid Pirahesh,et al.  Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals , 1996, Data Mining and Knowledge Discovery.

[21]  Claudio Gutiérrez,et al.  Subqueries in SPARQL , 2011, AMW.

[22]  Torben Bach Pedersen,et al.  Using Semantic Web Technologies for Exploratory OLAP: A Survey , 2015, IEEE Transactions on Knowledge and Data Engineering.

[23]  Leonid Libkin,et al.  Logics with counting and local properties , 2000, TOCL.

[24]  François Goasdoué,et al.  RDF analytics: lenses over semantic graphs , 2014, WWW.

[25]  Limsoon Wong,et al.  Query languages for bags: expressive power and complexity , 1996, SIGA.

[26]  Werner Nutt,et al.  Rewriting queries with arbitrary aggregation functions using views , 2006, TODS.

[27]  Sara Cohen,et al.  Equivalence of queries that are sensitive to multiplicities , 2009, The VLDB Journal.

[28]  Claudio Gutiérrez,et al.  Negation in SPARQL , 2016, AMW.

[29]  Lorena Etcheverry,et al.  Enhancing OLAP Analysis with Web Cubes , 2012, ESWC.

[30]  Jan Van den Bussche,et al.  On the Power of SPARQL in Expressing Navigational Queries , 2015, Comput. J..

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

[32]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[33]  Marcelo Arenas,et al.  Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard , 2012, WWW.

[34]  Óscar Corcho,et al.  Federating queries in SPARQL 1.1: Syntax, semantics and evaluation , 2013, J. Web Semant..

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

[36]  Lauri Hella,et al.  Logics with aggregate operators , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[37]  Egor V. Kostylev,et al.  On Expressibility of Non-Monotone Operators in SPARQL , 2016, KR.

[38]  Torben Bach Pedersen,et al.  Processing Aggregate Queries in a Federation of SPARQL Endpoints , 2015, ESWC.

[39]  Jiawei Han,et al.  Graph cube: on warehousing and OLAP multidimensional networks , 2011, SIGMOD '11.

[40]  Axel Polleres,et al.  On the relation between SPARQL1.1 and Answer Set Programming , 2013, J. Appl. Non Class. Logics.

[41]  Reinhard Pichler,et al.  Towards Reconciling SPARQL and Certain Answers , 2015, WWW.

[42]  Limsoon Wong,et al.  New techniques for studying set languages, bag languages and aggregate functions , 1994, PODS '94.

[43]  Daniele Braga,et al.  C-SPARQL: a Continuous Query Language for RDF Data Streams , 2010, Int. J. Semantic Comput..

[44]  Egor V. Kostylev,et al.  Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1 , 2016, WWW.

[45]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[46]  Werner Nutt,et al.  Deciding equivalences among conjunctive aggregate queries , 2007, JACM.

[47]  Leonid Libkin.  Expressive Power of SQL , 2001, ICDT.

[48]  Wim Martens,et al.  The complexity of evaluating path expressions in SPARQL , 2012, PODS '12.

[49]  Jie Li,et al.  Optimization of Analytic Window Functions , 2012, Proc. VLDB Endow..

[50]  Stefan Decker,et al.  SAFE: Policy Aware SPARQL Query Federation Over RDF Data Cubes , 2014, SWAT4LS.

[51]  Sebastian Rudolph,et al.  EP-SPARQL: a unified language for event processing and stream reasoning , 2011, WWW.

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

[53]  Michael Zakharyaschev,et al.  Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime , 2014, SEMWEB.