\set ECHO none
remove_provenance

(1 row)
city|count
Berlin|1 (*)
New York|2 (*)
Paris|3 (*)
(3 rows)
city|aggregation_formula
Berlin|(Ellen ⊕ Susan)*1
New York|John*1+Paul*1
Paris|Dave*1+Magdalen*1+Nancy*1
(3 rows)
remove_provenance

(1 row)
city|count|count_name|count_class
Berlin|2 (*)|2 (*)|1 (*)
New York|2 (*)|2 (*)|2 (*)
Paris|3 (*)|3 (*)|3 (*)
(3 rows)
city|count_name|count_class
Berlin|Ellen*1+Susan*1|(Ellen ⊕ Susan)*1
New York|John*1+Paul*1|John*1+Paul*1
Paris|Dave*1+Magdalen*1+Nancy*1|Dave*1+Magdalen*1+Nancy*1
(3 rows)
remove_provenance

(1 row)
city|cnt|counting
Berlin|2 (*)|1
New York|2 (*)|1
Paris|3 (*)|1
(3 rows)
remove_provenance

(1 row)
d|n|m
0 (*)|0 (*)|
(1 row)
remove_provenance

(1 row)
d|n|m
-2 (*)|5 (*)|7 (*)
(1 row)
remove_provenance

(1 row)
city|s
Berlin|Analyst, Field agent (*)
New York|Director, Janitor (*)
Paris|Analyst, Double agent, HR (*)
(3 rows)
ERROR:  ProvSQL: AGG(DISTINCT) with more than one argument is not supported, unless the others are constants
DETAIL:  provsql-reason: agg-distinct-several-arguments; scope: gap
remove_provenance

(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
city|a|s
Berlin|{Ellen,Susan}|Analyst, Field agent
New York|{John,Paul}|Director, Janitor
Paris|{Dave,Magdalen,Nancy}|Analyst, Double agent, HR
(3 rows)
city|a|s
Berlin|{Ellen,Susan}|Analyst, Field agent
New York|{John,Paul}|Director, Janitor
Paris|{Dave,Magdalen,Nancy}|Analyst, Double agent, HR
(3 rows)
remove_provenance

(1 row)
id|n
1|1
2|1
3|1
4|1
5|1
6|1
7|1
(7 rows)
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
g|n|d|nw|s
1|0|2|1|
2|2|2|0|11
(2 rows)
remove_provenance

(1 row)
g|p
1|0.000000
2|0.750000
(2 rows)
remove_provenance

(1 row)
g|p
1|0.500000
2|0.000000
(2 rows)
ERROR:  ProvSQL: AGG(DISTINCT x) FILTER (WHERE ...) is not supported for an aggregate that reads a NULL input as a value of its own
DETAIL:  provsql-reason: agg-distinct-filter-keeps-nulls; scope: gap