Topics

Here is a list of all topics with brief descriptions:

[detail level 1234567891011121314]

Circuit gate manipulation	RV / AGG_TOKEN evaluators return the restricted distribution
Provenance table management	Create a new gate in the provenance circuit
Internal constants	Trigger function for DELETE statement provenance tracking
Semiring operations	Return the ProvSQL UUID namespace (used for deterministic gate UUIDs)
Semiring evaluation	Create a times (product) gate from multiple provenance tokens
Circuit introspection	Evaluate provenance using a compiled (built-in) semiring
Type for the result of aggregate queries	Row type for sub_circuit_with_desc results
Type for continuous random variables	Input function for the AGG_TOKEN type (parses TEXT representation)
Aggregate provenance	Per-row helper: wrap an RV in mixture(prov, rv, as_random(0))
Probability and Shapley values	Create a δ-semiring gate wrapping a provenance token
Provenance output	Compute the probability of a provenance token
Circuit initialization	Register a tool, or replace the RECORD with the same logical name
Compiled semirings	Reset the internal cache of OID constants used by the query rewriter
choose aggregate	Evaluate provenance as a symbolic formula (e.g., "a ⊗ b ⊕ c")
Update provenance (PostgreSQL 14+)	Installation-time advisory: if provsql is not in the database's default search_path, point the user at setup_search_path()
Temporal DB (PostgreSQL 14+)	Functions for temporal database support