 |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
|
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
Structure to store the value of various constants. More...
#include "provsql_utils.h"
Public Attributes | |
| Oid | OID_SCHEMA_PROVSQL |
| OID of the provsql SCHEMA. | |
| Oid | OID_TYPE_GATE_TYPE |
| OID of the provenance_gate TYPE. | |
| Oid | OID_TYPE_AGG_TOKEN |
| OID of the agg_token TYPE. | |
| Oid | OID_TYPE_UUID |
| OID of the uuid TYPE. | |
| Oid | OID_TYPE_UUID_ARRAY |
| OID of the uuid[] TYPE. | |
| Oid | OID_TYPE_BOOL |
| OID of the BOOL TYPE. | |
| Oid | OID_TYPE_INT |
| OID of the INT TYPE. | |
| Oid | OID_TYPE_INT_ARRAY |
| OID of the INT[] TYPE. | |
| Oid | OID_TYPE_FLOAT |
| OID of the FLOAT TYPE. | |
| Oid | OID_TYPE_VARCHAR |
| OID of the VARCHAR TYPE. | |
| Oid | OID_TYPE_TSTZMULTIRANGE |
| OID of the tstzmultirange TYPE (PG14+, InvalidOid otherwise). | |
| Oid | OID_TYPE_NUMMULTIRANGE |
| OID of the nummultirange TYPE (PG14+, InvalidOid otherwise). | |
| Oid | OID_TYPE_INT4MULTIRANGE |
| OID of the int4multirange TYPE (PG14+, InvalidOid otherwise). | |
| Oid | OID_FUNCTION_ARRAY_AGG |
| OID of the array_agg FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_PLUS |
| OID of the provenance_plus FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_TIMES |
| OID of the provenance_times FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_MONUS |
| OID of the provenance_monus FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_PROJECT |
| OID of the provenance_project FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_EQ |
| OID of the provenance_eq FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_CMP |
| OID of the provenance_cmp FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE |
| OID of the provenance FUNCTION. | |
| Oid | GATE_TYPE_TO_OID [nb_gate_types] |
| Array of the OID of each provenance_gate ENUM value. | |
| Oid | OID_FUNCTION_PROVENANCE_DELTA |
| OID of the provenance_delta FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_CMP_TIMES |
| OID of the provenance_cmp_times FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_AGGREGATE |
| OID of the provenance_aggregate FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_SEMIMOD |
| OID of the provenance_semimod FUNCTION. | |
| Oid | OID_FUNCTION_PROVENANCE_SEMIMOD_NULLABLE |
OID of provenance_semimod_nullable, the variant used for aggregates that see their NULL inputs (array_agg, ...); InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_ROW_NUMBER_AS_RANK |
OID of row_number_as_rank, which row_number() over tracked relations is rewritten into; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_WINDOW_DISTINCT_TOKENS |
OID of window_distinct_tokens, used for dense_rank(); InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_PLAIN |
OID of the marker plain(), which keeps a LIMIT a truncation of the actual result; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_PLAIN_TRUTH |
OID of plain_truth(), whether a token holds in the database as it is; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_AGG_TOKEN_PLAIN_TEXT |
OID of agg_token_plain_text(), the sort key of an ORDER BY on an aggregate result; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_AGG_TOKEN_FROZEN_VALUE |
OID of agg_token_frozen_value(), the value of an aggregate result that ProvSQL casts to a plain value; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_AGG_TOKEN_EXPLODE_CHILDREN |
OID of agg_token_explode_children(), the children of the gate of a choose() result exploded into rows; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_AGG_POSSIBLE_VALUES |
OID of agg_possible_values(), the values an aggregate result takes over the possible worlds, one per exploded row; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_AGG_GUARD_HOLDS |
OID of agg_guard_holds(), the truth of a comparison of aggregate results in the database as it is, read off the values they record; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_PROVENANCE_SEMIMOD_FLAT |
OID of provenance_semimod_flat(), the contributions of an aggregate result aggregated again; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_PROVENANCE_SEMIMOD_NESTED |
OID of provenance_semimod_nested(), the contribution of an aggregate result aggregated by an aggregate of another kind, whose M side is the inner aggregate's gate; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_PROVENANCE_CONTRIBUTIONS_CAT |
OID of the provenance_contributions_cat aggregate, which collects them; InvalidOid on a schema that predates it. | |
| Oid | OID_FUNCTION_GATE_NULL |
OID of gate_null(), the value gate of the NULL value (a NULL branch of a CASE over aggregates). | |
| Oid | OID_FUNCTION_GATE_ZERO |
| OID of the provenance_zero FUNCTION. | |
| Oid | OID_FUNCTION_GATE_ONE |
| OID of the provenance_one FUNCTION. | |
| Oid | OID_OPERATOR_NOT_EQUAL_UUID |
| OID of the <> operator on UUIDs FUNCTION. | |
| Oid | OID_FUNCTION_NOT_EQUAL_UUID |
| OID of the = operator on UUIDs FUNCTION. | |
| Oid | OID_FUNCTION_AGG_TOKEN_UUID |
| OID of the agg_token_uuid FUNCTION. | |
| Oid | OID_FUNCTION_AGG_VALUE_GATE |
| agg_value_gate(numeric) -> uuid | |
| Oid | OID_FUNCTION_GET_CHILDREN |
| OID of the get_children FUNCTION. | |
| Oid | OID_FUNCTION_GET_EXTRA |
| OID of the get_extra FUNCTION. | |
| Oid | OID_UNNEST |
| OID of the unnest(anyarray) FUNCTION. | |
| Oid | OID_TYPE_RANDOM_VARIABLE |
| OID of the random_variable TYPE. | |
| Oid | OID_TYPE_RANDOM_VARIABLE_ARRAY |
| OID of the random_variable[] TYPE. | |
| Oid | OID_FUNCTION_RV_AGGREGATE_SEMIMOD |
| OID of rv_aggregate_semimod(uuid, rv) -> rv: wraps a per-row argument as mixture(prov, rv, as_random(0)) (identity 0, for sum / avg-numerator). | |
| Oid | OID_FUNCTION_RV_AGGREGATE_SEMIMOD_ID |
| OID of the 3-arg rv_aggregate_semimod(uuid, rv, float8): identity-parameterised wrap mixture(prov, rv, as_random(identity)) for product / max / min. | |
| Oid | OID_FUNCTION_RV_AGGREGATE_INDICATOR |
| OID of rv_aggregate_indicator(uuid) -> rv: the avg denominator wrap mixture(prov, 1, 0). | |
| Oid | OID_FUNCTION_RV_AGGREGATE_INDICATOR_VALUED |
| OID of rv_aggregate_indicator(uuid, rv) -> rv: NULL when the row's value is NULL (SQL NULL-skip for avg's count). | |
| Oid | OID_FUNCTION_RV_DIV |
| OID of random_variable_div(rv, rv) -> rv: builds the avg num/denom division gate. | |
| Oid | OID_FUNCTION_CHOOSE |
| OID of the choose(anyelement) aggregate (keeps the first non-NULL value); used to decorrelate scalar subqueries into a LEFT JOIN + GROUP BY. | |
| Oid | OID_FUNCTION_ARRAY_COLLECT |
OID of the array_collect(anynonarray) aggregate (array_agg with {} over no rows); the value of a decorrelated ARRAY(SELECT ...). | |
| Oid | OID_FUNCTION_ASSUME_BOOLEAN |
OID of provsql.assume_boolean(uuid)->uuid. | |
| Oid | OID_FUNCTION_ANNOTATE |
OID of provsql.annotate(uuid,text)->uuid. | |
| Oid | OID_FUNCTION_INVERSION_FREE_KEY |
OID of provsql.inversion_free_key(text,text,int)->text. | |
| Oid | OID_FUNCTION_RV_CMP [6] |
OIDs of the random_variable_{eq,ne,le,lt,ge,gt} comparison procedure functions, indexed by the ComparisonOperator enum (EQ=0, NE=1, LE=2, LT=3, GE=4, GT=5; matches the order in src/Aggregation.h). | |
| Oid | OID_FUNCTION_COND |
OID of provsql.cond(uuid,uuid)->uuid. | |
| Oid | OID_FUNCTION_GIVEN |
OID of provsql.given(uuid)->uuid. | |
| Oid | OID_FUNCTION_RV_COND |
OID of provsql.random_variable_cond(random_variable,uuid). | |
| Oid | OID_FUNCTION_AGG_COND |
OID of provsql.agg_token_cond(agg_token,uuid): the conditioning constructor for the agg_token carrier the planner emits when rewriting the "SUM(x) | (predicate)" placeholder. | |
| Oid | OID_FUNCTION_REGULAR_INDICATOR |
OID of provsql.regular_indicator(boolean): the deterministic gate_one/ the planner emits for an ordinary (regular-type) comparison appearing inside a mixed conditioning predicate. | |
| Oid | OID_FUNCTION_PROBABILITY_EVALUATE |
OID of the real provsql.probability_evaluate(uuid,text,text). | |
| Oid | OID_FUNCTION_PROBABILITY_PREDICATE |
OID of the probability(boolean,text,text) placeholder. | |
| Oid | OID_FUNCTION_RV_CASE |
OID of provsql.rv_case(uuid[])->random_variable. | |
| Oid | OID_FUNCTION_AGG_CASE |
OID of agg_case(uuid[]), the agg_token constructor the planner hook lowers an aggregate-carrier CASE into. | |
| bool | ok |
| true if constants were loaded | |
Order-statistic constructors the planner lifts a builtin | |
| |
| Oid | OID_FUNCTION_RV_GREATEST |
| provsql.greatest(VARIADIC random_variable[]) | |
| Oid | OID_FUNCTION_RV_LEAST |
| provsql.least(VARIADIC random_variable[]) | |
| Oid | OID_AGG_SUM_RV |
OIDs of the RV-returning aggregates, keyed for the per-aggregate identity dispatch in make_rv_aggregate_expression (product / max / min bake their identity into the wrap; avg rewrites to sum/sum). | |
| Oid | OID_AGG_PRODUCT_RV |
| provsql.product(random_variable) | |
| Oid | OID_AGG_AVG_RV |
| provsql.avg(random_variable) | |
| Oid | OID_AGG_MAX_RV |
| provsql.max(random_variable) | |
| Oid | OID_AGG_MIN_RV |
| provsql.min(random_variable) | |
| Oid | OID_AGG_RV_SUM_OR_NULL |
| provsql.rv_sum_or_null(random_variable): the avg-numerator sum, NULL on an empty group (so avg is NULL for an empty group after STRICT division) | |
| Oid | OID_AGG_COVAR_POP_RV |
SQL-standard statistic aggregates over random_variable rows and their internal indicator-carrying rewrite targets. | |
| Oid | OID_AGG_COVAR_SAMP_RV |
| provsql.covar_samp(rv, rv) | |
| Oid | OID_AGG_CORR_RV |
| provsql.corr(rv, rv) | |
| Oid | OID_AGG_STDDEV_POP_RV |
| provsql.stddev_pop(rv) | |
| Oid | OID_AGG_STDDEV_SAMP_RV |
| provsql.stddev_samp(rv) | |
| Oid | OID_AGG_PERCENTILE_CONT_RV |
| provsql.percentile_cont(float8) WITHIN GROUP (ORDER BY rv) | |
| Oid | OID_AGG_RV_COVAR_POP_IMPL |
| provsql.rv_covar_pop_impl(ind rv, x rv, y rv) | |
| Oid | OID_AGG_RV_COVAR_SAMP_IMPL |
| provsql.rv_covar_samp_impl(ind rv, x rv, y rv) | |
| Oid | OID_AGG_RV_CORR_IMPL |
| provsql.rv_corr_impl(ind rv, x rv, y rv) | |
| Oid | OID_AGG_RV_STDDEV_POP_IMPL |
| provsql.rv_stddev_pop_impl(ind rv, x rv) | |
| Oid | OID_AGG_RV_STDDEV_SAMP_IMPL |
| provsql.rv_stddev_samp_impl(ind rv, x rv) | |
| Oid | OID_AGG_RV_PERCENTILE_IMPL |
| provsql.rv_percentile_impl(fraction float8, ind rv, x rv) | |
@c "X | (predicate)" placeholder OIDs (carrier-parametric). | |
Each is a no-op placeholder operator whose right operand is a Boolean combination of random_variable / agg_token comparisons; the planner converts that predicate into a condition gate and emits the matching conditioning constructor.
| |
| Oid | OID_FUNCTION_COND_PREDICATE |
| cond_predicate(uuid,boolean) | |
| Oid | OID_FUNCTION_RV_COND_PREDICATE |
| random_variable_cond_predicate(random_variable,boolean) | |
| Oid | OID_FUNCTION_AGG_COND_PREDICATE |
| agg_token_cond_predicate(agg_token,boolean) | |
| Oid | OID_FUNCTION_PREDICATE_COND_PREDICATE |
| predicate_cond_predicate(boolean,boolean) – (A)|(B), both events | |
| Oid | OID_FUNCTION_GIVEN_PREDICATE |
| given_predicate(boolean) – prefix whole-tuple | |
Structure to store the value of various constants.
This is needed to uniquely identify types, functions, etc., in PostgreSQL through their Object Identifier Types (OIDs).
Definition at line 210 of file provsql_utils.h.
| Oid constants_t::GATE_TYPE_TO_OID[nb_gate_types] |
Array of the OID of each provenance_gate ENUM value.
Definition at line 232 of file provsql_utils.h.
| Oid constants_t::OID_AGG_AVG_RV |
provsql.avg(random_variable)
Definition at line 316 of file provsql_utils.h.
| Oid constants_t::OID_AGG_CORR_RV |
provsql.corr(rv, rv)
Definition at line 333 of file provsql_utils.h.
| Oid constants_t::OID_AGG_COVAR_POP_RV |
SQL-standard statistic aggregates over random_variable rows and their internal indicator-carrying rewrite targets.
The public forms wrap every row with the certain indicator as_random(1); a provenance-tracked query is rewritten by make_rv_aggregate_expression to the _impl form whose extra leading argument is the row's provenance indicator rv_aggregate_indicator(prov), so absent rows drop out of the statistic (count, sums, and the percentile's member set alike). provsql.covar_pop(rv, rv)
Definition at line 331 of file provsql_utils.h.
| Oid constants_t::OID_AGG_COVAR_SAMP_RV |
provsql.covar_samp(rv, rv)
Definition at line 332 of file provsql_utils.h.
| Oid constants_t::OID_AGG_MAX_RV |
provsql.max(random_variable)
Definition at line 317 of file provsql_utils.h.
| Oid constants_t::OID_AGG_MIN_RV |
provsql.min(random_variable)
Definition at line 318 of file provsql_utils.h.
| Oid constants_t::OID_AGG_PERCENTILE_CONT_RV |
provsql.percentile_cont(float8) WITHIN GROUP (ORDER BY rv)
Definition at line 336 of file provsql_utils.h.
| Oid constants_t::OID_AGG_PRODUCT_RV |
provsql.product(random_variable)
Definition at line 315 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_CORR_IMPL |
provsql.rv_corr_impl(ind rv, x rv, y rv)
Definition at line 339 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_COVAR_POP_IMPL |
provsql.rv_covar_pop_impl(ind rv, x rv, y rv)
Definition at line 337 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_COVAR_SAMP_IMPL |
provsql.rv_covar_samp_impl(ind rv, x rv, y rv)
Definition at line 338 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_PERCENTILE_IMPL |
provsql.rv_percentile_impl(fraction float8, ind rv, x rv)
Definition at line 342 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_STDDEV_POP_IMPL |
provsql.rv_stddev_pop_impl(ind rv, x rv)
Definition at line 340 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_STDDEV_SAMP_IMPL |
provsql.rv_stddev_samp_impl(ind rv, x rv)
Definition at line 341 of file provsql_utils.h.
| Oid constants_t::OID_AGG_RV_SUM_OR_NULL |
provsql.rv_sum_or_null(random_variable): the avg-numerator sum, NULL on an empty group (so avg is NULL for an empty group after STRICT division)
Definition at line 319 of file provsql_utils.h.
| Oid constants_t::OID_AGG_STDDEV_POP_RV |
provsql.stddev_pop(rv)
Definition at line 334 of file provsql_utils.h.
| Oid constants_t::OID_AGG_STDDEV_SAMP_RV |
provsql.stddev_samp(rv)
Definition at line 335 of file provsql_utils.h.
| Oid constants_t::OID_AGG_SUM_RV |
OIDs of the RV-returning aggregates, keyed for the per-aggregate identity dispatch in make_rv_aggregate_expression (product / max / min bake their identity into the wrap; avg rewrites to sum/sum).
provsql.sum(random_variable)
Definition at line 314 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_CASE |
OID of agg_case(uuid[]), the agg_token constructor the planner hook lowers an aggregate-carrier CASE into.
InvalidOid on a schema predating it (the rewrite is then disabled).
Definition at line 439 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_COND |
OID of provsql.agg_token_cond(agg_token,uuid): the conditioning constructor for the agg_token carrier the planner emits when rewriting the "SUM(x) | (predicate)" placeholder.
Definition at line 399 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_COND_PREDICATE |
agg_token_cond_predicate(agg_token,boolean)
Definition at line 408 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_GUARD_HOLDS |
OID of agg_guard_holds(), the truth of a comparison of aggregate results in the database as it is, read off the values they record; InvalidOid on a schema that predates it.
Definition at line 272 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_POSSIBLE_VALUES |
OID of agg_possible_values(), the values an aggregate result takes over the possible worlds, one per exploded row; InvalidOid on a schema that predates it.
Definition at line 268 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_TOKEN_EXPLODE_CHILDREN |
OID of agg_token_explode_children(), the children of the gate of a choose() result exploded into rows; InvalidOid on a schema that predates it.
Definition at line 264 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_TOKEN_FROZEN_VALUE |
OID of agg_token_frozen_value(), the value of an aggregate result that ProvSQL casts to a plain value; InvalidOid on a schema that predates it.
Definition at line 260 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_TOKEN_PLAIN_TEXT |
OID of agg_token_plain_text(), the sort key of an ORDER BY on an aggregate result; InvalidOid on a schema that predates it.
Definition at line 256 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_TOKEN_UUID |
OID of the agg_token_uuid FUNCTION.
Definition at line 292 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_AGG_VALUE_GATE |
agg_value_gate(numeric) -> uuid
Definition at line 293 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_ANNOTATE |
OID of provsql.annotate(uuid,text)->uuid.
Wraps its child in a fresh transparent gate_annotation whose UUID folds in the extra text, and returns the wrapper's UUID. Used to attach the inversion-free tractability certificate (on the root) and the per-input order keys. InvalidOid on a schema predating the gate (the inversion-free carrier is then disabled).
Definition at line 363 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_ARRAY_AGG |
OID of the array_agg FUNCTION.
Definition at line 224 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_ARRAY_COLLECT |
OID of the array_collect(anynonarray) aggregate (array_agg with {} over no rows); the value of a decorrelated ARRAY(SELECT ...).
Definition at line 345 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_ASSUME_BOOLEAN |
OID of provsql.assume_boolean(uuid)->uuid.
Installed by the 1.5.0--1.6.0 upgrade script. Wraps its child in a fresh gate_assumed and returns the wrapper's UUID. When InvalidOid the safe-query rewriter (and any other Boolean-only rewrite that needs the marker) is effectively disabled even if provsql.boolean_provenance is on: the rewriter refuses to produce unmarked roots on a schema that cannot enforce the semiring-compatibility check.
Definition at line 355 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_CHOOSE |
OID of the choose(anyelement) aggregate (keeps the first non-NULL value); used to decorrelate scalar subqueries into a LEFT JOIN + GROUP BY.
Definition at line 344 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_COND |
OID of provsql.cond(uuid,uuid)->uuid.
Builds the terminal gate_conditioned (value-level conditioning, the binary | operator). The rewriter wraps a row's output provenance in it when a given(...) marker is present. InvalidOid on a schema predating the conditioning feature (the given rewrite is then disabled).
Definition at line 384 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_COND_PREDICATE |
cond_predicate(uuid,boolean)
Definition at line 406 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GATE_NULL |
OID of gate_null(), the value gate of the NULL value (a NULL branch of a CASE over aggregates).
Definition at line 287 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GATE_ONE |
OID of the provenance_one FUNCTION.
Definition at line 289 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GATE_ZERO |
OID of the provenance_zero FUNCTION.
Definition at line 288 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GET_CHILDREN |
OID of the get_children FUNCTION.
Definition at line 294 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GET_EXTRA |
OID of the get_extra FUNCTION.
Definition at line 295 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GIVEN |
OID of provsql.given(uuid)->uuid.
The whole-tuple output-conditioning marker: a consumed select-list term the rewriter strips from the visible projection, conditioning each output row's provenance on the marker's argument. InvalidOid on a schema predating the feature.
Definition at line 391 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_GIVEN_PREDICATE |
given_predicate(boolean) – prefix whole-tuple
Definition at line 410 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_INVERSION_FREE_KEY |
OID of provsql.inversion_free_key(text,text,int)->text.
Builds the K-prefixed per-input order-key string the planner attaches (via annotate) to each certified atom's provenance on the inversion-free path. InvalidOid on a schema predating it (markers are then not attached; the path declines and falls back).
Definition at line 370 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_NOT_EQUAL_UUID |
OID of the = operator on UUIDs FUNCTION.
Definition at line 291 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PLAIN |
OID of the marker plain(), which keeps a LIMIT a truncation of the actual result; InvalidOid on a schema that predates it.
Definition at line 250 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PLAIN_TRUTH |
OID of plain_truth(), whether a token holds in the database as it is; InvalidOid on a schema that predates it.
Definition at line 253 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PREDICATE_COND_PREDICATE |
predicate_cond_predicate(boolean,boolean) – (A)|(B), both events
Definition at line 409 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROBABILITY_EVALUATE |
OID of the real provsql.probability_evaluate(uuid,text,text).
The target of the probability(<predicate>) rewrite: the planner emits a call to it over the event token built from the Boolean argument.
Definition at line 420 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROBABILITY_PREDICATE |
OID of the probability(boolean,text,text) placeholder.
When its argument carries a probabilistic (random_variable / aggregate) comparison the planner rewrites the whole call into probability_evaluate over the argument's event token; a purely deterministic argument is left to the SQL body (which returns 1/0). The predicate surface is only on probability, not probability_evaluate, to avoid an unknown-literal overload ambiguity (see sql/provsql.common.sql). InvalidOid disables the rewrite.
Definition at line 429 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE |
OID of the provenance FUNCTION.
Definition at line 231 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_AGGREGATE |
OID of the provenance_aggregate FUNCTION.
Definition at line 235 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_CMP |
OID of the provenance_cmp FUNCTION.
Definition at line 230 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_CMP_TIMES |
OID of the provenance_cmp_times FUNCTION.
Definition at line 234 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_CONTRIBUTIONS_CAT |
OID of the provenance_contributions_cat aggregate, which collects them; InvalidOid on a schema that predates it.
Definition at line 284 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_DELTA |
OID of the provenance_delta FUNCTION.
Definition at line 233 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_EQ |
OID of the provenance_eq FUNCTION.
Definition at line 229 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_MONUS |
OID of the provenance_monus FUNCTION.
Definition at line 227 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_PLUS |
OID of the provenance_plus FUNCTION.
Definition at line 225 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_PROJECT |
OID of the provenance_project FUNCTION.
Definition at line 228 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_SEMIMOD |
OID of the provenance_semimod FUNCTION.
Definition at line 236 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_SEMIMOD_FLAT |
OID of provenance_semimod_flat(), the contributions of an aggregate result aggregated again; InvalidOid on a schema that predates it.
Definition at line 276 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_SEMIMOD_NESTED |
OID of provenance_semimod_nested(), the contribution of an aggregate result aggregated by an aggregate of another kind, whose M side is the inner aggregate's gate; InvalidOid on a schema that predates it.
Definition at line 281 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_SEMIMOD_NULLABLE |
OID of provenance_semimod_nullable, the variant used for aggregates that see their NULL inputs (array_agg, ...); InvalidOid on a schema that predates it.
Definition at line 240 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_PROVENANCE_TIMES |
OID of the provenance_times FUNCTION.
Definition at line 226 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_REGULAR_INDICATOR |
OID of provsql.regular_indicator(boolean): the deterministic gate_one/ the planner emits for an ordinary (regular-type) comparison appearing inside a mixed conditioning predicate. gate_zero indicator
Definition at line 416 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_ROW_NUMBER_AS_RANK |
OID of row_number_as_rank, which row_number() over tracked relations is rewritten into; InvalidOid on a schema that predates it.
Definition at line 244 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_AGGREGATE_INDICATOR |
OID of rv_aggregate_indicator(uuid) -> rv: the avg denominator wrap mixture(prov, 1, 0).
Definition at line 307 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_AGGREGATE_INDICATOR_VALUED |
OID of rv_aggregate_indicator(uuid, rv) -> rv: NULL when the row's value is NULL (SQL NULL-skip for avg's count).
Definition at line 308 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_AGGREGATE_SEMIMOD |
OID of rv_aggregate_semimod(uuid, rv) -> rv: wraps a per-row argument as mixture(prov, rv, as_random(0)) (identity 0, for sum / avg-numerator).
Definition at line 305 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_AGGREGATE_SEMIMOD_ID |
OID of the 3-arg rv_aggregate_semimod(uuid, rv, float8): identity-parameterised wrap mixture(prov, rv, as_random(identity)) for product / max / min.
Definition at line 306 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_CASE |
OID of provsql.rv_case(uuid[])->random_variable.
Builds a gate_case from the flattened [guard_1, value_1, ..., default] wire list the planner emits for an RV-typed CASE expression. InvalidOid on a schema predating gate_case (the CASE-over-RV rewrite is then disabled).
Definition at line 435 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_CMP[6] |
OIDs of the random_variable_{eq,ne,le,lt,ge,gt} comparison procedure functions, indexed by the ComparisonOperator enum (EQ=0, NE=1, LE=2, LT=3, GE=4, GT=5; matches the order in src/Aggregation.h).
Used by the planner hook to detect RV-comparison OpExpr nodes in WHERE clauses.
Definition at line 376 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_COND |
OID of provsql.random_variable_cond(random_variable,uuid).
The real conditioning constructor the planner emits when rewriting the "X | (predicate)" placeholder. InvalidOid disables the rewrite.
Definition at line 395 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_COND_PREDICATE |
random_variable_cond_predicate(random_variable,boolean)
Definition at line 407 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_DIV |
OID of random_variable_div(rv, rv) -> rv: builds the avg num/denom division gate.
Definition at line 309 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_GREATEST |
provsql.greatest(VARIADIC random_variable[])
Definition at line 302 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_RV_LEAST |
provsql.least(VARIADIC random_variable[])
Definition at line 303 of file provsql_utils.h.
| Oid constants_t::OID_FUNCTION_WINDOW_DISTINCT_TOKENS |
OID of window_distinct_tokens, used for dense_rank(); InvalidOid on a schema that predates it.
Definition at line 247 of file provsql_utils.h.
| Oid constants_t::OID_OPERATOR_NOT_EQUAL_UUID |
OID of the <> operator on UUIDs FUNCTION.
Definition at line 290 of file provsql_utils.h.
| Oid constants_t::OID_SCHEMA_PROVSQL |
OID of the provsql SCHEMA.
Definition at line 211 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_AGG_TOKEN |
OID of the agg_token TYPE.
Definition at line 213 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_BOOL |
OID of the BOOL TYPE.
Definition at line 216 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_FLOAT |
OID of the FLOAT TYPE.
Definition at line 219 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_GATE_TYPE |
OID of the provenance_gate TYPE.
Definition at line 212 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_INT |
OID of the INT TYPE.
Definition at line 217 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_INT4MULTIRANGE |
OID of the int4multirange TYPE (PG14+, InvalidOid otherwise).
Definition at line 223 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_INT_ARRAY |
OID of the INT[] TYPE.
Definition at line 218 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_NUMMULTIRANGE |
OID of the nummultirange TYPE (PG14+, InvalidOid otherwise).
Definition at line 222 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_RANDOM_VARIABLE |
OID of the random_variable TYPE.
Definition at line 297 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_RANDOM_VARIABLE_ARRAY |
OID of the random_variable[] TYPE.
Definition at line 298 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_TSTZMULTIRANGE |
OID of the tstzmultirange TYPE (PG14+, InvalidOid otherwise).
Definition at line 221 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_UUID |
OID of the uuid TYPE.
Definition at line 214 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_UUID_ARRAY |
OID of the uuid[] TYPE.
Definition at line 215 of file provsql_utils.h.
| Oid constants_t::OID_TYPE_VARCHAR |
OID of the VARCHAR TYPE.
Definition at line 220 of file provsql_utils.h.
| Oid constants_t::OID_UNNEST |
OID of the unnest(anyarray) FUNCTION.
Definition at line 296 of file provsql_utils.h.
| bool constants_t::ok |
true if constants were loaded
Definition at line 440 of file provsql_utils.h.