连词查询的极值拟合问题

摘要:连词查询(CQ)的拟合问题是构造一个与给定的标记数据示例相匹配的CQ的问题。当存在一个适合的CQ时,通常不是唯一的。这引导我们提出了拟合CQ概念的自然改进,比如最通用拟合CQ、最特定拟合CQ和唯一拟合CQ。我们通过(合适改进的)同态对偶、边界和直积的结构刻画来构建这些改进的拟合CQ。我们还确定了相关存在性和验证问题的复杂度,并确定了拟合CQ的大小。我们分别研究了UCQ和更受限制的树形CQ的相同问题。

作者:Balder ten Cate, Victor Dalmau, Maurice Funk, and Carsten Lutz

论文ID:2206.05080

分类:Databases

分类简称:cs.DB

提交时间:2023-04-18

PDF 下载: 英文版 中文版pdf翻译中