修正 Datalog 在具有闭包性质问题上的表达能力
计算机科学中的逻辑
2023-08-09 v2
摘要
本文研究了修正 Datalog 在对子结构封闭的问题上的表达能力。我们证明了修正 Datalog 无法定义所有属于 PTIME 且对子结构封闭的问题。作为推论，LFP 无法定义所有属于 PTIME 且对扩展封闭的问题。
引用
@article{arxiv.1403.6611,
title = {The expressive power of revised Datalog on problems with closure properties},
author = {Shiguang Feng},
journal= {arXiv preprint arXiv:1403.6611},
year = {2023}
}