Pith. sign in

REVIEW 1 cited by

PANDA: Query Evaluation in Submodular Width

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2402.02001 v8 pith:HGLSCRBG submitted 2024-02-03 cs.DB cs.ITmath.IT

classification cs.DBcs.ITmath.IT
keywords queryboundsoutputpandacorrespondingdatabaseevaluationinformation-theoretic
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

In recent years, several information-theoretic upper bounds have been introduced on the output size and evaluation cost of database join queries. These bounds vary in their power depending on both the type of statistics on input relations and the query plans that they support. This motivated the search for algorithms that can compute the output of a join query in times that are bounded by the corresponding information-theoretic bounds. In this paper, we describe PANDA, an algorithm that takes a Shannon-inequality that underlies the bound, and translates each proof step into an algorithmic step corresponding to some database operation. PANDA computes answers to a conjunctive query in time given by the the submodular width plus the output size of the query. The version in this paper represents a significant simplification of the original version [ANS, PODS'17].

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Fast Matrix Multiplication meets the Submodular Width

    cs.DB 2024-12 conditional novelty 7.0 of 10

    The paper introduces the omega-submodular width, a generalization of submodular width that captures fast matrix multiplication, and proves an algorithm that evaluates any Boolean conjunctive query in time proportional...

Pith tools