基于树自动机和循环电路(Cycluits)的查询求值组合易处理性（扩展版）
数据库
2019-08-28 v2
摘要
我们研究了数据库实例和查询的参数化，这些参数化使得查询求值在组合复杂度下是固定参数易处理的。我们引入了一个带有分层否定（stratified negation）的新Datalog片段，即内涵团守卫Datalog（ICG-Datalog），对于有界规则大小的程序，它在有界树宽的结构上具有线性时间求值。这类程序特别捕获了具有有界宽度的单纯分解的合取查询、有界CQ秩的守卫否定片段查询，或双向正则路径查询。我们的结果通过编译到交替双向自动机来实现，其语义通过可易处理求值的循环溯源电路（cycluits）定义。最后，我们证明了在此参数化下，概率查询求值在组合复杂度下仍然是难解的。
引用
@article{arxiv.1612.04203,
title = {Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)},
author = {Antoine Amarilli and Pierre Bourhis and Mikaël Monet and Pierre Senellart},
journal= {arXiv preprint arXiv:1612.04203},
year = {2019}
}
备注
69 pages, accepted at ICDT'17. Appendix F contains results from an independent upcoming journal paper by Michael Benedikt, Pierre Bourhis, Georg Gottlob, and Pierre Senellart