Conference item : Conference-proceeding
CONSTRUCT queries in SPARQL
- Abstract:
- SPARQL has become the most popular language for querying RDF datasets, the standard data model for representing information in the Web. This query language has received a good deal of attention in the last few years: two versions of W3C standards have been issued, several SPARQL query engines have been deployed, and important theoretical foundations have been laid. However, many fundamental aspects of SPARQL queries are not yet fully understood. To this end, it is crucial to understand the correspondence between SPARQL and well-developed frameworks like relational algebra or first order logic. But one of the main obstacles on the way to such understanding is the fact that the well-studied fragments of SPARQL do not produce RDF as output. In this paper we embarrk on the study of SPARQL CONSTRUCT queries, that is, queries which output RDF graphs. This class of queries takes rightful place in the standards and implementations, but contrary to SELECT queries, it has not yet attracted a worth-while theoretical research. Under this framework we are able to establish a strong connection between SPARQL and well-known logical and database formalisms. In particular, the fragment which does not allow for blank nodes in output templates corresponds to first order queries, its well-designed sub-fragment corresponds to positive first order queries, and the general language can be restated as a data exchange setting. These correspondences allow us to conclude that the general language is not composable, but the aforementioned blank-free fragments are. Finally, we enrich SPARQL with a recursion operator and establish fundamental properties of this extension.
- Publication status:
- Published
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 667.3KB, Terms of use)
-
- Publisher copy:
- 10.4230/LIPIcs.ICDT.2015.212
Authors
- Host title:
- Leibniz International Proceedings in Informatics, LIPIcs
- Journal:
- 18th International Conference on Database Theory (ICDT 2015) More from this journal
- Publication date:
- 2015-03-19
- DOI:
- ISSN:
-
1868-8969
- ISBN:
- 9783939897798
- Keywords:
- Subtype:
-
conference-proceeding
- Pubs id:
-
pubs:589592
- UUID:
-
uuid:0b752de0-362b-4399-8607-6b91a10c8d7f
- Local pid:
-
pubs:589592
- Source identifiers:
-
589592
- Deposit date:
-
2016-12-10
Terms of use
- Copyright holder:
- ©Egor V Kostylev, Juan L Reutter, and Martin Ugarte
- Copyright date:
- 2015
- Notes:
- This is the the final version which is also available online from DROPS at: 10.4230/LIPIcs.ICDT.2015.212
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record