摘要：修订的Datalog的表达能力在和子结构封闭问题上进行了研究 修订的Datalog不能定义所有在PTIME且在子结构封闭下的问题 作为推论，LFP不能定义所有在PTIME且在扩展封闭下的问题
作者：Shiguang Feng
论文ID：1403.6611
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-09
PDF 下载： 英文版 中文版pdf翻译中