设计良好的SPARQL查询的可处理性边界
数据库
2018-03-28 v3 数据结构与算法
计算机科学中的逻辑
摘要
我们研究SPARQL查询的查询评估复杂度。我们聚焦于仅限于AND、OPTIONAL和UNION运算符的设计良好的SPARQL基本片段。我们的主要结果是对可在多项式时间内评估的设计良好查询类的结构性刻画。特别地，我们引入一种称为支配宽度（domination width）的新宽度概念，其依赖于著名的树宽（treewidth）概念。我们证明，在某些复杂性理论假设下，可在多项式时间内评估的设计良好查询类恰好是那些具有有界支配宽度的类。
引用
@article{arxiv.1712.08809,
title = {The tractability frontier of well-designed SPARQL queries},
author = {Miguel Romero},
journal= {arXiv preprint arXiv:1712.08809},
year = {2018}
}