![]() |
ProvSQL SQL API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
Functions for examining the structure of provenance circuits, used by visualization and where-provenance features. More...
Types | |
| TYPE | provsql.GATE_WITH_DESC |
| Row type for sub_circuit_with_desc results. More... | |
Functions | |
| SETOF GATE_WITH_DESC | provsql.sub_circuit_with_desc (UUID token, REGCLASS token2desc) |
| Return the sub-circuit reachable from a token, with descriptions. | |
| VOID | provsql.identify_token (UUID token, OUT REGCLASS table_name, OUT INTEGER nb_columns) |
| Identify which table and how many columns a provenance token belongs to. | |
| TABLE | provsql.sub_circuit_for_where (UUID token) |
| Return the sub-circuit for where-provenance computation. | |
Functions for examining the structure of provenance circuits, used by visualization and where-provenance features.
| VOID provsql.identify_token | ( | UUID | token, |
| OUT REGCLASS | table_name, | ||
| OUT INTEGER | nb_columns | ||
| ) |
Identify which table and how many columns a provenance token belongs to.
Searches all provenance-tracked tables for a row matching the given token and returns the table name and column count.
| token | provenance token to look up |
| table_name | (OUT) the table containing this token |
| nb_columns | (OUT) number of non-provenance columns in that table |
| TABLE provsql.sub_circuit_for_where | ( | UUID | token | ) |
Return the sub-circuit for where-provenance computation.
Similar to sub_circuit_with_desc but resolves input gates to their source table and column count for where-provenance evaluation.
| SETOF GATE_WITH_DESC provsql.sub_circuit_with_desc | ( | UUID | token, |
| REGCLASS | token2desc | ||
| ) |
Return the sub-circuit reachable from a token, with descriptions.
Recursively traverses the provenance circuit from the given token and returns all edges together with input gate descriptions from the mapping table.
| token | root provenance token |
| token2desc | mapping table providing descriptions for input gates |