合取查询答案计数复杂性的三分法
计算复杂性
2015-01-22 v3 数据库
计算机科学中的逻辑
摘要
合取查询是基础且被广泛研究的数据库查询；在关系代数中，它们对应于选择 - 投影 - 连接查询。在本文中，我们研究了一个基本问题：给定一个合取查询和一个关系数据库，计算该查询在数据库上的答案数量。具体而言，我们研究了相对于合取查询集合，该问题的复杂性。我们提出了一个三分法定理，本质上表明对于一组合取查询，该问题要么是可处理的，要么等价于参数化 CLIQUE 问题，要么与参数化计数 CLIQUE 问题一样困难；描述哪种情况发生的判据可以用图论条件简洁地表述。
引用
@article{arxiv.1408.0890,
title = {A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries},
author = {Hubie Chen and Stefan Mengel},
journal= {arXiv preprint arXiv:1408.0890},
year = {2015}
}