Towards Deterministic Decomposable Circuits for Safe Queries

12/23/2019
by   Mikaël Monet, et al.
0

There exist two approaches for exact probabilistic inference of UCQs on tuple-independent databases. In the extensional approach, query evaluation is performed within a DBMS by exploiting the structure of the query. In the intensional approach, one first builds a representation of the lineage of the query on the database, then computes the probability of the lineage. In this paper we propose a new technique to construct lineage representations as deterministic decomposable circuits in PTIME. The technique can apply to a class of UCQs that has been conjectured to separate the complexity of the two approaches. We test our technique experimentally, and show that it succeeds on all the queries of this class up to a certain size parameter, i.e., over 20 million queries.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/26/2019

Solving a Special Case of the Intensional vs Extensional Conjecture in Probabilistic Databases

We consider the problem of exact probabilistic inference for Union of Co...
research
08/03/2020

A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries

We study the generalized model counting problem, defined as follows: giv...
research
12/02/2014

Approximate Lifted Inference with Probabilistic Databases

This paper proposes a new approach for approximate evaluation of #P-hard...
research
04/06/2022

Computing expected multiplicities for bag-TIDBs with bounded multiplicities

In this work, we study the problem of computing a tuple's expected multi...
research
07/22/2019

Between the deterministic and non-deterministic query complexity

We consider problems that can be solved by asking certain queries. The d...
research
05/22/2019

Exploring Query Results

Users typically interact with a database by asking queries and examining...
research
11/08/2021

Solving Marginal MAP Exactly by Probabilistic Circuit Transformations

Probabilistic circuits (PCs) are a class of tractable probabilistic mode...

Please sign up or login with your details

Forgot password? Click here to reset