让我们来玩标签：基于 TGD 约束的 conjunctive 查询线性时间求解
数据库
2026-03-20 v1
摘要
我们研究了在由元组生成依赖（TGDs）表达的约束下，对 conjunctive 查询进行线性时间求解的极限，涵盖单次测试、全测试、计数、字典序直接访问和枚举等多种查询求值模式。虽然完整的分类体系远非可及，但我们提出了一种方法，对于某些查询求值模式和 TGDs 的类别，能够将已知的无约束情形下的二分图结果提升至受约束情形。特别是，当约束属于以下两类时，我们的方法适用于除枚举之外的所有提及的求值模式：(1)每个 TGD 要么在头中最多使用二元关系符号，要么最多有两个前沿变量的非递归 TGD 集合；(2)前沿受保护的完整 TGD。我们进一步提供了一系列示例，展示了枚举以及更不严格 TGD 类别所面临的挑战。
关键词
引用
@article{arxiv.2603.18709,
title = {Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints},
author = {Nofar Carmeli and Carsten Lutz and Marcin Przybyłko},
journal= {arXiv preprint arXiv:2603.18709},
year = {2026}
}