Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/1310
Title: Solving the SPARQL query containment problem with SpeCS
Authors: Spasić, Mirko 
Vujošević Janičić, Milena 
Affiliations: Informatics and Computer Science 
Informatics and Computer Science 
Keywords: FOL modeling;Query containment;SMT solving;SPARQL;SpeCS solver
Issue Date: 1-Apr-2023
Rank: М22
Publisher: Elsevier
Journal: Journal of Web Semantics
Abstract: 
The query containment problem is a fundamental computer science problem which was originally defined for relational queries. With the growing popularity of the SPARQL query language, it became relevant and important in this new context: reliable and efficient SPARQL query containment solvers may have various applications within static analysis of queries, especially in the area of query optimizati...
URI: https://research.matf.bg.ac.rs/handle/123456789/1310
ISSN: 15708268
DOI: 10.1016/j.websem.2022.100770
Rights: Attribution-NonCommercial-NoDerivs 3.0 United States
Appears in Collections:Research outputs

Files in This Item:
File Description SizeFormat Existing users please
Solving the SPARQL query containment problem with SpeCS.pdf1.61 MBAdobe PDF
Embargoed until April 30, 2025    Request a copy
Show full item record

Page view(s)

23
checked on Jan 19, 2025

Download(s)

1
checked on Jan 19, 2025

Google ScholarTM

Check

Altmetric


This item is licensed under a Creative Commons License Creative Commons