Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/787
Title: | SpeCS - SPARQL Query Containment Solver |
Authors: | Spasić, Mirko Vujošević Janičić, Milena |
Affiliations: | Informatics and Computer Science Informatics and Computer Science |
Keywords: | query containment;query modeling;semantic web;SMT solving;SPARQL;SPECS |
Issue Date: | 1-May-2020 |
Rank: | M33 |
Related Publication(s): | 2020 Zooming Innovation in Consumer Technologies Conference, ZINC 2020 |
Abstract: | With increasing popularity and importance of Semantic Web and its application, SPARQL, as a standard language for querying RDF data, gains more importance and receives additional attention from both practitioners and researchers coming from various domains. In database world, the query containment problem is a fundamental problem, crucially important in verification and optimization of queries. In... |
URI: | https://research.matf.bg.ac.rs/handle/123456789/787 |
ISBN: | 9781728182599 |
DOI: | 10.1109/ZINC50678.2020.9161435 |
Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.