关于合取查询并集的枚举复杂性

我们研究合取查询并集（UCQs）的枚举复杂性。我们的目标是识别在如下意义下易处理的 UCQs：答案元组可通过线性预处理阶段并以每两个连续元组间常数延迟进行枚举。已有结论表明，在无自连接且常规复杂性假设下，允许此类求值的 CQs 恰好是自由连通（free-connex）的。易处理 CQs 的并集总是易处理的。我们将自由连通性这一概念从 CQs 推广到 UCQs，从而表明某些包含难处理 CQs 的并集实际上却是易处理的。有趣的是，一些仅由难处理 CQs 组成的并集也是易处理的。我们展示了如何将本文提出的技术也用于数据库包含基数依赖（包括函数依赖和键约束）或 UCQs 包含不等关系的情形。寻找 UCQs 易处理性的完整刻画这一问题仍然开放。尽管如此，我们证明了对于若干查询类，自由连通性完全刻画了易处理的 UCQs。