有限模型上的连接理论
计算机科学中的逻辑
2021-05-14 v6 数据库
形式语言与自动机理论
摘要
我们提出 FC，一种结合有限模型理论与连接理论（基于字方程的一阶逻辑）的新的字逻辑。如同连接理论，FC 围绕字方程构建；与之不同的是，其语义被定义为仅允许有限模型，方法是将论域限制为一个字及其所有因子。由此，FC 具备 FO 在有限模型上的诸多理想性质，同时比 FO[<] 更具表达力。这些理想性质中最值得注意的是高效模型检测的充份判据，以及通过添加传递闭包或不动点算子来刻画各类复杂度类。FC 不仅使我们获得关于文档 spanner 表达力与高效求值的新见解与技术，还提供了一个字上逻辑的通用框架，在其他领域亦有潜在应用。
引用
@article{arxiv.1912.06110,
title = {The theory of concatenation over finite models},
author = {Dominik D. Freydenberger and Liat Peterfreund},
journal= {arXiv preprint arXiv:1912.06110},
year = {2021}
}
备注
Update to make this version consistent with conference version (ICALP 2021), which renamed Datasplog to FC-Datalog