\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
name|city|formula
Dave|Paris|Dave
Magdalen|Paris|Magdalen
Nancy|Paris|Nancy
(3 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
name1|name2|formula
Dave|Magdalen|Dave ⊗ Magdalen
Dave|Nancy|Dave ⊗ Nancy
Magdalen|Nancy|Magdalen ⊗ Nancy
(3 rows)
WARNING:  ProvSQL: INSERT ... SELECT: provenance not propagated to the inserted rows
DETAIL:  provsql-reason: insert-select-untracked; scope: deliberate
HINT:  Track the target with add_provenance() first, or store provenance() in a column.
WARNING:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks personnel
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: cast
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: INSERT ... SELECT: provenance not propagated to the inserted rows
DETAIL:  provsql-reason: insert-select-untracked; scope: deliberate
HINT:  Track the target with add_provenance() first, or store provenance() in a column.
c|s
7|28
(1 row)
WARNING:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks personnel
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: cast
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: INSERT ... SELECT: provenance not propagated to the inserted rows
DETAIL:  provsql-reason: insert-select-untracked; scope: deliberate
HINT:  Track the target with add_provenance() first, or store provenance() in a column.
city|n
Berlin|2
New York|2
Paris|3
(3 rows)
add_provenance

(1 row)
WARNING:  ProvSQL: aggregate result read as a plain value: provenance not tracked, although the statement tracks insert_agg_tracked
DETAIL:  provsql-reason: aggregate-read-as-plain-value; scope: gap; reader: cast
HINT:  Mark it plain() to say so.
remove_provenance

(1 row)
n|token_kind
3|one
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
n
7
(1 row)
remove_provenance

(1 row)