ABSTRACT
Query containment is a fundamental problem in data management with its main application being in global query optimization. A number of SPARQL query containment solvers for SPARQL have been recently developed. To the best of our knowledge, the Query Containment Benchmark (QC-Bench) is the only benchmark for evaluating these containment solvers. However, this benchmark contains a fixed number of synthetic queries, which were handcrafted by its creators. We propose SQCFramework, a SPARQL query containment benchmark generation framework which is able to generate customized SPARQL containment benchmarks from real SPARQL query logs. The framework is flexible enough to generate benchmarks of varying sizes and according to the user-defined criteria on the most important SPARQL features to be considered for query containment benchmarking. This is achieved using different clustering algorithms. We compare state-of-the-art SPARQL query containment solvers by using different query containment benchmarks generated from DBpedia and Semantic Web Dog Food query logs. In addition, we analyze the quality of the different benchmarks generated by SQCFramework.
- Melisachew Wudage Chekol, Jerome Euzenat, Pierre Geneves, and Nabil Layaida. 2012. SPARQL query containment under RDFS entailment regime. In International Joint Conference on Automated Reasoning. Springer, 134--148. Google ScholarDigital Library
- Melisachew Wudage Chekol, Jerome Euzenat, Pierre Geneves, and Nabil Layaida. 2013. Evaluating and benchmarking SPARQL query containment solvers. In International Semantic Web Conference. Springer, 408--423. Google ScholarDigital Library
- MelisachewWudage Chekol and Giuseppe Pirro. 2016. Containment of expressive SPARQL navigational queries. In International SemanticWeb Conference. Springer, 86--101.Google ScholarDigital Library
- Chandra Chekuri and Anand Rajaraman. 2000. Conjunctive query containment revisited. Theoretical Computer Science 239, 2 (2000), 211--229. Google ScholarDigital Library
- Claus et al. 2017. JSAC Query Containment Solver. https://github.com/AKSW/jena-sparql-api/tree/develop/jena-sparql-api-query-containment. (2017). {Online; accessed 16-May-2017}.Google Scholar
- Pierre Geneves, Nabil Layaida, and Alan Schmitt. 2007. Efficient static analysis of XML paths and types. Acm Sigplan Notices 42, 6 (2007), 342--351. Google ScholarDigital Library
- Egor V Kostylev, Juan L Reutter, Miguel Romero, and Domagoj Vrgo.. 2015. SPARQL with property paths. In International Semantic Web Conference. 3--18. Google ScholarDigital Library
- Andres Letelier, Jorge Perez, Reinhard Pichler, and Sebastian Skritek. 2013. Static analysis and optimization of semantic web queries. TODS 38, 4 (2013), 25. Google ScholarDigital Library
- Todd Millstein, Alon Halevy, and Marc Friedman. 2003. Query containment for data integration systems. J. Comput. System Sci. 66, 1 (2003), 20--39. Google ScholarDigital Library
- Reinhard Pichler and Sebastian Skritek. 2014. Containment and equivalence of well-designed SPARQL. In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM, 39--50. Google ScholarDigital Library
- Muhammad Saleem, Intizar Ali, Aidan Hogan, Qaiser Mehmood, and Axel-Cyrille Ngonga Ngomo. 2015. LSQ: The Linked SPARQL Queries Dataset. In ISWC. 261--269.Google Scholar
- Muhammad Saleem, Qaiser Mehmood, and Axel-Cyrille Ngonga Ngomo. 2015. FEASIBLE: a feature-based SPARQL benchmark generation framework. In ISWC. Springer, 52--69. Google ScholarDigital Library
- Muhammad Saleem and Axel-Cyrille Ngonga Ngomo. 2014. HiBISCuS: Hypergraph-Based Source Selection for SPARQL Endpoint Federation. In ESWC.Google Scholar
- Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, and Masami Hagiya. 2005. A decision procedure for the alternation-free two-way modal μ-calculus. In ARATRM. Springer, 277--291. Google ScholarDigital Library
- Melisachew Wudage, Jerome Euzenat, Pierre Geneves, and Nabil Laya.da. 2012. SPARQL query containment under SHI axioms. In Proceedings 26th AAAI Conference on Artificial Intelligence. 10--16. Google ScholarDigital Library
Index Terms
- SQCFramework: SPARQL Query Containment Benchmark Generation Framework
Recommendations
Equivalence and minimization of conjunctive queries under combined semantics
ICDT '12: Proceedings of the 15th International Conference on Database TheoryThe problems of query containment, equivalence, and minimization are fundamental problems in the context of query processing and optimization. In their classic work [2] published in 1977, Chandra and Merlin solved the three problems for the language of ...
Scalable and efficient processing of top-k multiple-type integrated queries
AbstractIn this paper, we define a new class of queries, the top-k multiple-type integrated query (simply, top-k MULTI query). It deals with multiple data types and finds the information in the order of relevance between the query and the object. Various ...
Query containment under bag and bag-set semantics
Conjunctive queries (CQs) are at the core of query languages encountered in many logic-based research fields such as AI, or database systems. The majority of existing work assumes set semantics but often in real applications the manipulation of ...
Comments