文档跨距的动态复杂性
计算机科学中的逻辑
2020-01-10 v2
摘要
本文研究文档跨距（document spanners）的动态复杂性，这是由 Fagin、Kimelfeld、Reiss 和 Vansummeren（JACM 2015）提出的信息抽取形式化框架。我们首先考察正则跨距类，并证明任意正则跨距都可在动态复杂性类 DynPROP 中维护。该结果源于 Gelade、Marquardt 和 Schwentick（TOCL 2012）先前关于形式语言动态复杂性的工作。为研究核心跨距，我们使用 SpLog，一种精确刻画核心跨距的串接逻辑。我们表明动态复杂性类 DynCQ 比 SpLog 更具表达力，因此可维护任意核心跨距。该结果随后被推广以说明 DynFO 可维护任意广义核心跨距，且 DynFO 至少与带否定的 SpLog 同样强大。
引用
@article{arxiv.1909.10869,
title = {Dynamic Complexity of Document Spanners},
author = {Dominik D. Freydenberger and Sam M. Thompson},
journal= {arXiv preprint arXiv:1909.10869},
year = {2020}
}