paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Ranked Enumeration of Conjunctive Query Results

合取查询结果的排名枚举
LMCS vol.Volume 21, Issue 22025匹配度 1/10 · 该论文研究数据库合取查询结果的排名枚举算法与下界,属于数据库理论方向,与用户关注的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析均无直接交集。引用 43 inbox
Shaleen Deep, Paraschos Koutris
crossref: 2026-09-10

AI 速览

一句话:提出带小预处理、对数延迟和可控空间的合取查询结果排名枚举算法,并给出必要性下界。

本文研究按给定排名函数枚举合取查询(Conjunctive Query)结果的问题。主要贡献是一种新算法,具有较小的预处理时间、对数级延迟和执行期间非平凡的空间开销。为支持高效枚举,作者利用实践中常见排名函数的性质,引入相对于查询分解的可分解性与兼容性概念,使元组分数可部分聚合,从而快速产生有序输出。论文还用下界说明为何必须对排名函数结构施加限制,并扩展、改进了此前关于排名枚举的理论与实践工作。

问题
如何高效地按给定排名函数枚举合取查询结果,并在预处理时间、枚举延迟和空间之间取得良好权衡。
方法
利用常见排名函数的可分解性和相对于查询分解的兼容性,对元组分数进行部分聚合,设计带小预处理和对数延迟的排名枚举算法。
评估
以理论分析给出预处理时间、延迟与空间界,并用下界证明对排名函数结构限制的必要性;结果扩展并改进了已有排名枚举研究。
原文摘要(Abstract)

We study the problem of enumerating answers of Conjunctive Queries ranked according to a given ranking function. Our main contribution is a novel algorithm with small preprocessing time, logarithmic delay, and non-trivial space usage during execution. To allow for efficient enumeration, we exploit certain properties of ranking functions that frequently occur in practice. To this end, we introduce the notions of {\em decomposable} and {\em compatible} (w.r.t. a query decomposition) ranking functions, which allow for partial aggregation of tuple scores in order to efficiently enumerate the output. We complement the algorithmic results with lower bounds that justify why restrictions on the structure of ranking functions are necessary. Our results extend and improve upon a long line of work that has studied ranked enumeration from both a theoretical and practical perspective.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@article{abs-1902-02698,
  title = {Ranked Enumeration of Conjunctive Query Results},
  author = {Shaleen Deep and Paraschos Koutris},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 21, Issue 2},
  year = {2025},
  doi = {10.46298/lmcs-21(2:14)2025}
}