SQL function provsql.probability_evaluate() – probabilistic circuit evaluation. More...

#include "postgres.h"
#include "fmgr.h"
#include "catalog/pg_type.h"
#include "utils/uuid.h"
#include "executor/spi.h"
#include "provsql_shmem.h"
#include "provsql_utils.h"
#include "c_cpp_compatibility.h"
#include <set>
#include <cmath>
#include <csignal>
#include "BooleanCircuit.h"
#include "CircuitFromMMap.h"
#include "GenericCircuit.h"
#include "dDNNFTreeDecompositionBuilder.h"
#include "having_semantics.hpp"
#include "provsql_mmap.h"
#include "provsql_utils_cpp.h"
#include "semiring/BoolExpr.h"

Include dependency graph for probability_evaluate.cpp:

Go to the source code of this file.

Functions
static void	provsql_sigint_handler (int)
	SIGINT handler that sets the global interrupted flag.

static Datum	probability_evaluate_internal (pg_uuid_t token, const string &method, const string &args)
	Core implementation of probability evaluation for a circuit token.

Datum	probability_evaluate (PG_FUNCTION_ARGS)
	PostgreSQL-callable wrapper for probability_evaluate().

Detailed Description

SQL function provsql.probability_evaluate() – probabilistic circuit evaluation.

Implements provsql.probability_evaluate(), which computes the probability that a provenance circuit evaluates to true under the tuple-independent probabilistic-database model.

The method argument selects the computation algorithm:

"possible-worlds": exact enumeration of all 2^n worlds.
"monte-carlo": approximate via random sampling (fast, inexact).
"weightmc": approximate using the weightmc model counter.
"tree-decomposition": exact via tree-decomposition-based d-DNNF.
"independent": exact evaluation for disconnected circuits.
Any external compiler name ("d4", "c2d", "minic2d", "dsharp").

A SIGINT signal sets a process-local flag that causes the evaluation to abort and return NULL (used when the user cancels a long-running probability computation).

Definition in file probability_evaluate.cpp.

Function Documentation

◆ probability_evaluate()

Datum probability_evaluate ( PG_FUNCTION_ARGS )

PostgreSQL-callable wrapper for probability_evaluate().

Definition at line 146 of file probability_evaluate.cpp.

Here is the call graph for this function:

◆ probability_evaluate_internal()

static Datum probability_evaluate_internal	(	pg_uuid_t	token,
		const string &	method,
		const string &	args
	)

static

Core implementation of probability evaluation for a circuit token.

Parameters

token	UUID of the root provenance gate.
method	Evaluation method name (e.g. "independent", "monte-carlo").
args	Additional arguments for the chosen method.

Returns: Float8 Datum containing the computed probability.

Definition at line 67 of file probability_evaluate.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ provsql_sigint_handler()

static void provsql_sigint_handler ( int )

static

SIGINT handler that sets the global interrupted flag.

The signal number argument is required by the signal() API but is not used.