连词查询的极值拟合问题
摘要:连词查询(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