\set ECHO none ERROR: ProvSQL: provenance() called on a table without provenance ERROR: ProvSQL: DISTINCT ON not supported DETAIL: provsql-reason: distinct-on; scope: gap ERROR: ProvSQL: INTERSECT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use INTERSECT, or IN / EXISTS. DETAIL: provsql-reason: intersect-all; scope: deliberate ERROR: ProvSQL: the value of this aggregate cannot be a GROUP BY key or a DISTINCT column: it is one value per possible world, and only a count(), a min(), a max(), a choose() and a sum() over an integer column take values that can be enumerated and exploded into one row each; mark it plain() to group by its plain value DETAIL: provsql-reason: aggregate-value-as-key; scope: gap ERROR: ProvSQL: the value of an aggregate of this set operation cannot be matched with the other arms': it is one value per possible world, and only a count(), a min(), a max(), a choose() and a sum() over an integer column take values that can be enumerated and exploded into one row each, in every arm; use UNION ALL, or cast the aggregate explicitly (::numeric, ::text, ...) to read its plain value DETAIL: provsql-reason: setop-aggregate-value; scope: gap ERROR: ProvSQL: the value of an aggregate of this set operation cannot be matched with the other arms': it is one value per possible world, and only a count(), a min(), a max(), a choose() and a sum() over an integer column take values that can be enumerated and exploded into one row each, in every arm; use UNION ALL, or cast the aggregate explicitly (::numeric, ::text, ...) to read its plain value DETAIL: provsql-reason: setop-aggregate-value; scope: gap ERROR: ProvSQL: the value of this aggregate cannot be a GROUP BY key or a DISTINCT column: it is one value per possible world, and only a count(), a min(), a max(), a choose() and a sum() over an integer column take values that can be enumerated and exploded into one row each; mark it plain() to group by its plain value DETAIL: provsql-reason: aggregate-value-as-key; scope: gap ERROR: ProvSQL: an output column named "provsql" collides with the provenance column ProvSQL adds DETAIL: provsql-reason: provsql-column-name; scope: deliberate HINT: Give the column another name with AS; a cast of the provsql column is named after it. ERROR: ProvSQL: an output column named "provsql" collides with the provenance column ProvSQL adds DETAIL: provsql-reason: provsql-column-name; scope: deliberate HINT: Give the column another name with AS; a cast of the provsql column is named after it. ERROR: ProvSQL: an output column named "provsql" collides with the provenance column ProvSQL adds DETAIL: provsql-reason: provsql-column-name; scope: deliberate HINT: Give the column another name with AS; a cast of the provsql column is named after it. ERROR: ProvSQL: an output column named "provsql" collides with the provenance column ProvSQL adds DETAIL: provsql-reason: provsql-column-name; scope: deliberate HINT: Give the column another name with AS; a cast of the provsql column is named after it. ERROR: ProvSQL: an output column named "provsql" collides with the provenance column ProvSQL adds DETAIL: provsql-reason: provsql-column-name; scope: deliberate HINT: Give the column another name with AS; a cast of the provsql column is named after it. ERROR: ProvSQL: EXCEPT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use EXCEPT, which returns the same rows when the left operand has no duplicates, or NOT IN / NOT EXISTS. DETAIL: provsql-reason: except-all; scope: deliberate ERROR: ProvSQL: EXCEPT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use EXCEPT, which returns the same rows when the left operand has no duplicates, or NOT IN / NOT EXISTS. DETAIL: provsql-reason: except-all; scope: deliberate ERROR: ProvSQL: EXCEPT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use EXCEPT, which returns the same rows when the left operand has no duplicates, or NOT IN / NOT EXISTS. DETAIL: provsql-reason: except-all; scope: deliberate WARNING: ProvSQL: subquery over a tracked relation in a query over no tracked relation: provenance not tracked, although the statement tracks personnel DETAIL: provsql-reason: sublink-in-untracked-block-frozen; scope: gap HINT: Mark it plain() to say so. remove_provenance (1 row) id|n 1|1 2|1 (2 rows) token t (1 row) ERROR: ProvSQL: Unsupported aggregate comparison shape in the selection predicate DETAIL: provsql-reason: aggregate-comparison-shape; scope: gap ERROR: ProvSQL: condition on an aggregate result not supported in HAVING: only comparisons, IS [NOT] NULL and their Boolean combinations are (not, e.g., x = ANY(array_agg(...))) DETAIL: provsql-reason: having-condition-shape; scope: gap remove_provenance (1 row) ERROR: ProvSQL: crosstab over a provenance-tracked relation is not supported: tablefunc builds its rows itself, without provenance, and the provenance column of its source query breaks the row type it declares DETAIL: provsql-reason: crosstab-over-tracked; scope: deliberate HINT: Run it with provsql.active off: the rows crosstab builds have no provenance either way. city|s|t Berlin|2| New York|| Paris||1 (3 rows) city|s|t Berlin|2| New York|| Paris||1 (3 rows) ERROR: ProvSQL: FOR UPDATE / FOR SHARE over a tracked relation DETAIL: provsql-reason: locking-clause; scope: out-of-scope HINT: Take the locks with provsql.active off. ERROR: ProvSQL: FOR UPDATE / FOR SHARE over a tracked relation DETAIL: provsql-reason: locking-clause; scope: out-of-scope HINT: Take the locks with provsql.active off. ERROR: ProvSQL: FOR UPDATE / FOR SHARE over a tracked relation DETAIL: provsql-reason: locking-clause; scope: out-of-scope HINT: Take the locks with provsql.active off. add_provenance (1 row) ERROR: insert or update on table "lk_child" violates foreign key constraint "lk_child_pid_fkey" DETAIL: Key (pid)=(2) is not present in table "lk_parent". pid 1 (1 row)