\set ECHO none
add_provenance

(1 row)
remove_provenance

(1 row)
g|s|mn|mx|av|cv|cs
1|30 (*)|10 (*)|20 (*)|15.0000000000000000 (*)|2 (*)|3 (*)
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
having|p
count(q.k)=0|0.2500
(1 row)
remove_provenance

(1 row)
having|p
count(q.k)>=1|0.7500
(1 row)
remove_provenance

(1 row)
having|p
count(q.k)<=1|0.7500
(1 row)
remove_provenance

(1 row)
having|p
count(*)<=1|0.7500
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
having|p
sum(CASE)+count(*)>=1|0.5000
(1 row)
remove_provenance

(1 row)
having|p
min(CASE)+count(*)>=1|0.5000
(1 row)
remove_provenance

(1 row)
having|p
count(*)+count(*)>=2|0.7500
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
g|n|p
1|f|0.500000
1|t|0.000000
2|f|0.500000
2|t|0.000000
3|f|0.000000
3|t|0.500000
(6 rows)
remove_provenance

(1 row)
g|n|p
1|f|0.500000
1|t|0.000000
2|f|0.000000
2|t|0.500000
3|f|0.000000
3|t|0.500000
(6 rows)
WARNING:  ProvSQL: ORDER BY on an aggregate result sorts on the value shown, not per world
DETAIL:  provsql-reason: order-by-aggregate-value; scope: deliberate
remove_provenance

(1 row)
sorted
3,1,2
(1 row)
remove_provenance

(1 row)
n|p
f|0.750000
t|0.250000
(2 rows)
remove_provenance

(1 row)
n|p
f|0.250000
t|0.750000
(2 rows)
remove_provenance

(1 row)
n
f
(1 row)
WARNING:  ProvSQL: window function: provenance not tracked, although the statement tracks anx
DETAIL:  provsql-reason: window-not-tracked; scope: gap
HINT:  Mark it plain() to say so.
WARNING:  ProvSQL: NULL test of an aggregate result in a block with a window function: provenance not tracked, although the statement tracks anx
DETAIL:  provsql-reason: aggregate-nullness-read-as-plain-value; scope: gap
HINT:  Mark it plain() to say so.
remove_provenance

(1 row)
n|w
f|1
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
g|n|p
1|f|0.500000
1|t|0.250000
(2 rows)
remove_provenance

(1 row)
g|n|p
1|f|0.250000
1|t|0.500000
(2 rows)
remove_provenance

(1 row)
g|p
1|0.250000
(1 row)
remove_provenance

(1 row)
g|p
1|0.500000
(1 row)
remove_provenance

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

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
g|n|p
1|f|0.500000
1|t|0.000000
2|f|0.750000
2|t|0.000000
(4 rows)
remove_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
direct
0.500000
(1 row)
remove_provenance

(1 row)
arithmetic
0.500000
(1 row)
remove_provenance

(1 row)
carried_function
0.500000
(1 row)
remove_provenance

(1 row)
grouped
0.250000
(1 row)
remove_provenance

(1 row)