全合取查询答案排序枚举的最优算法

我们研究依据由选择性半环定义的非常一般的序对连接查询结果进行排名枚举。我们的主要贡献是面向一类动态规划问题的排名枚举框架，该类问题推广了以往被孤立研究的看似不同的问题。为此，我们扩展了在加权图中寻找k短路的经典算法。对于全合取查询（包括循环查询），我们的方法在返回首个结果的时间与结果间延迟方面是最优的。这些最优性性质是针对广泛使用的数据复杂性概念推导的，该概念将查询大小视为常数。通过细致代价分析，我们揭示了两种不可比较的枚举方法之间先前未知的权衡：一种在返回结果数较少时复杂度更低，另一种在结果数非常大时更低。我们从理论与经验上证明了我们的技术优于批量算法（其先生成完整结果再排序）。我们的技术不仅在返回前几个结果时更快，而且在某些输入上即使生成所有结果也胜过批量算法。