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 | Size | Format | Existing users please |
---|---|---|---|---|
Solving the SPARQL query containment problem with SpeCS.pdf | 1.61 MB | Adobe PDF | Request a copy | Embargoed until April 30, 2025
This item is licensed under a Creative Commons License