Refl-Spanners：一种针对非正则核 spanner 的纯正则方法
数据库
2024-11-27 v7 形式语言与自动机理论
信息检索
摘要
正则 spanner（由 vset-自动机刻画）在并、连接与投影的代数运算下封闭，并具有理想的算法性质。核 spanner（由 Fagin、Kimelfeld、Reiss 与 Vansummeren（PODS 2013, JACM 2015）作为 IBM 的 SystemT 中所用查询语言 AQL 核心功能的形式化而引入）额外需要字符串相等选择；Freydenberger 与 Holldack（ICDT 2016, Theory of Computing Systems 2018）已证明，这导致静态分析与查询求值中典型问题的高复杂度乃至不可判定性。我们提出一种针对核 spanner 的替代方法：将字符串相等选择直接纳入表示底层正则 spanner 的正则语言中（而非将其作为正则 spanner 所提取表上的代数运算），我们由此获得核 spanner 的一个片段，其表达能力虽略弱于完整核 spanner 类，但可以说仍覆盖了字符串相等选择用于信息抽取的直观应用，并对静态分析与查询求值中典型问题具有更优的上界复杂度。
引用
@article{arxiv.2010.13442,
title = {Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners},
author = {Markus L. Schmid and Nicole Schweikardt},
journal= {arXiv preprint arXiv:2010.13442},
year = {2024}
}