~/talk

Combined Approximations for Probabilistic Query Evaluation: An Intensional Approach

Talkat Probabilistic Circuits and Logic 2023 · 2023-10-16..10-19· [databases]
links:none on file
slides:none on file

Claims a method to get combined FPRASes for probabilistic query evaluation by compiling query+instance into non-deterministic OBDD or structured DNNF and then using an FPRAS for automaton counting. Shows self-join-free, bounded-hypertree-width queries admit a combined FPRAS; one-way path queries on labeled DAGs admit a combined FPRAS (ordering by DAG topological order); gives an FPRAS for directed ST reliability on DAGs. Proves hardness: some tree-on-tree cases have no FPRAS and some provenance DNNFs require exponential size.

AI-written summary · about

  1. 0:00Probabilistic DB approximations
  2. 1:05Probabilistic query evaluation
  3. 4:41Exact evaluation complexity
  4. 7:35Motivation for approximations
  5. 9:23FPRAS requirements
  6. 11:52Approximation for self-join free
  7. 14:50Probabilistic graph restrictions
  8. 17:15Graph query approximability
  9. 19:02nOBDDs for path queries
  10. 21:52Network reliability FPRAS
  11. 23:15Inapproximability lower bounds
  12. 24:40Provenance circuit limits
  13. 26:26Future directions
  14. 28:35Conclusion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.