SPARQL查询包含求解器SpeCS的可靠性与完备性
计算机科学中的逻辑
2022-10-14 v1 数据库
摘要
工具SpeCS实现了一种高效的自动化方法来推理SPARQL查询包含问题。在本文中，我们证明该方法的正确性。我们给出SPARQL语言核心子集的精确语义。我们简要讨论用于将查询包含问题归约到形式逻辑框架的过程。我们证明该归约对于合取查询是可靠且完备的，对于包含并算子、可选算子和子查询的一些重要非合取查询情形也是如此。可靠性与完备性证明在包含和蕴含两种形式下均被考虑。
引用
@article{arxiv.2210.07083,
title = {Soundness and Completeness of SPARQL Query Containment Solver SpeCS},
author = {Mirko Spasić and Milena Vujošević Janičić},
journal= {arXiv preprint arXiv:2210.07083},
year = {2022}
}
备注
32 pages, 6 figures