通过树自动机与循环电路评估Datalog
数据库
2019-08-28 v2
摘要
我们研究了数据库实例与查询的参数化，使得在联合复杂度下查询评估为固定参数可处理的。我们证明了带分层否定的团边界守护Datalog（CFG-Datalog）在树宽有界的结构上、对规则大小有界的程序具有双线性时间评估。此类程序尤其涵盖了宽度有界单纯形分解的合取查询、CQ秩有界的守护否定片段查询，以及双向正则路径查询。我们的结果通过将问题翻译为交替双向自动机来证明，其语义通过可高效评估的循环溯源电路（cycluits）定义。
引用
@article{arxiv.1808.04663,
title = {Evaluating Datalog via Tree Automata and Cycluits},
author = {Antoine Amarilli and Pierre Bourhis and Mikaël Monet and Pierre Senellart},
journal= {arXiv preprint arXiv:1808.04663},
year = {2019}
}
备注
56 pages, 63 references. Journal version of "Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Extended Version)" at arXiv:1612.04203. Up to the stylesheet, page/environment numbering, and possible minor publisher-induced changes, this is the exact content of the journal paper that will appear in Theory of Computing Systems. Update wrt version 1: latest reviewer feedback