图 书 馆
RDF流处理器基准测试的正确性研究On Correctness in RDF stream processor benchmarking |
|
| 课程网址: | http://videolectures.net/iswc2013_dellaglio_processor_benchmarkin... |
| 主讲教师: | Daniele Dell’Aglio |
| 开课单位: | 米兰理工大学 |
| 开课时间: | 2013-11-28 |
| 课程语种: | 英语 |
| 中文简介: |  到目前为止，已经提出了两个互补的基准来评估和不断改进RDF流处理器：SRBench和LSBench。他们将比较的重点放在评估系统的不同功能上，包括比较每个处理器获得的结果，从而对每个处理器支持的SPARQL的流扩展进行覆盖，查询处理吞吐量以及对查询评估正确性的早期分析。查询集。但是，他们都没有分析这些处理器的操作语义来评估查询评估结果的正确性。在本文中，我们建议对RDF流处理器的操作语义进行表征，以适应流处理引擎社区中使用的众所周知的模型：CQL和SECRET。通过这种形式化，我们解决了RDF流处理器基准测试中的正确性，从而可以确定系统应提供的多个答案。最后，我们介绍CSRBench，它是SRBench的扩展，用于使用自动方法解决查询结果的正确性验证。 |
| 课程简介: | Two complementary benchmarks have been proposed so far for the evaluation and continuous improvement of RDF stream processors: SRBench and LSBench. They put a special focus on different features of the evaluated systems, including coverage of the streaming extensions of SPARQL supported by each processor, query processing throughput, and an early analysis of query evaluation correctness, based on comparing the results obtained by different processors for a set of queries. However, none of them has analysed the operational semantics of these processors in order to assess the correctness of query evaluation results. In this paper, we propose a characterization of the operational semantics of RDF stream processors, adapting well-known models used in the stream processing engine community: CQL and SECRET. Through this formalization, we address correctness in RDF stream processor benchmarks, allowing to determine the multiple answers that systems should provide. Finally, we present CSRBench, an extension of SRBench to address query result correctness verification using an automatic method. |
| 关 键 词: | 评估系统; 处理引擎 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2020-12-24：zyk |
| 最后编审: | 2020-12-24：zyk |
| 阅读次数: | 65 |