 |
ProvSQL SQL API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
|
ProvSQL SQL API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
Register a tool, or replace the RECORD with the same logical name. More...
Topics | |
| Compiled semirings | |
| Reset the internal cache of OID constants used by the query rewriter. | |
Functions | |
| VOID | reset_constants_cache () |
| Reset the internal cache of OID constants used by the query rewriter. | |
Register a tool, or replace the RECORD with the same logical name.
Functions and statements executed at extension load time to reset internal caches and create the constant zero/one gates.
| name | logical id (e.g. 'd4-jm62300'); also the value provsql.fallback_compiler / the wmc tool selector use |
| executable | executable to resolve on PATH (defaults to name) |
| kind | 'cli' (spawn executable) or 'kcmcp' (talk to the KCMCP server at endpoint) |
| operations | capabilities (KCMCP names): 'compile' / 'wmc' (and ProvSQL-local 'render') |
| input_formats | accepted inputs (KCMCP names): 'dimacs-cnf', 'circuit-bcs12' (listing 'circuit-bcs12' enables the native-circuit fast path) |
| output_format | result encoding (KCMCP names): 'ddnnf-nnf', 'decimal', 'rational', ... (local 'panini-dd' / 'ascii' where KCMCP has no code) |
| parser | CLI-only decode tag: 'nnf' (the tolerant d4 / c2d NNF reader), 'panini-dd', 'wmc-line', 'weightmc', 'ascii' |
| argtpl | command template; placeholders {in} / {out} (and {binary} / {tmpdir} / {pivotAC}). When it omits {binary}, the executable is prepended. |
| argtpl_circuit | command used when the 'circuit-bcs12' input is selected (a BC-S1.2 circuit rather than a CNF); only a tool accepting that input needs it |
| preference | ordering within an operation (higher first) |
| enabled | whether the dispatchers may select it |
| endpoint | for a 'kcmcp' RECORD, the server address: 'unix:/path' or 'host:port' |
Superuser-only: a CLI RECORD runs an arbitrary command as the PostgreSQL OS user, and a kcmcp RECORD names a socket the server connects to.
Unregister a tool; errors on an unknown tool name. Superuser-only.
Enable/disable a tool; errors on an unknown tool name. Superuser-only.
Set a tool's preference; errors on an unknown tool name. Superuser-only.
Return an XML representation of the provenance circuit
| token | root provenance token |
| token2desc | optional mapping table for gate descriptions |
Return the provenance token of the current query result tuple
Compute where-provenance for a result tuple
Returns a TEXT representation showing which input columns contributed to each output column.
Functions and statements executed at extension load time to reset internal caches and create the constant zero/one gates.
| VOID update_provenance::reset_constants_cache | ( | ) |
Reset the internal cache of OID constants used by the query rewriter.