References & Citations
Computer Science > Databases
Title: Optimal Algorithms for Ranked Enumeration of Answers to Full Conjunctive Queries
(Submitted on 13 Nov 2019 (v1), last revised 11 Sep 2020 (this version, v3))
Abstract: We study ranked enumeration of join-query results according to very general orders defined by selective dioids. Our main contribution is a framework for ranked enumeration over a class of dynamic programming problems that generalizes seemingly different problems that had been studied in isolation. To this end, we extend classic algorithms that find the k-shortest paths in a weighted graph. For full conjunctive queries, including cyclic ones, our approach is optimal in terms of the time to return the top result and the delay between results. These optimality properties are derived for the widely used notion of data complexity, which treats query size as a constant. By performing a careful cost analysis, we are able to uncover a previously unknown tradeoff between two incomparable enumeration approaches: one has lower complexity when the number of returned results is small, the other when the number is very large. We theoretically and empirically demonstrate the superiority of our techniques over batch algorithms, which produce the full result and then sort it. Our technique is not only faster for returning the first few results, but on some inputs beats the batch algorithm even when all results are produced.
Submission history
From: Nikolaos Tziavelis [view email][v1] Wed, 13 Nov 2019 16:21:36 GMT (534kb,D)
[v2] Mon, 23 Mar 2020 17:49:09 GMT (623kb,D)
[v3] Fri, 11 Sep 2020 19:21:22 GMT (944kb,D)
Link back to: arXiv, form interface, contact.