\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
k|p
1|0.125000
2|0.125000
(2 rows)
k
1
2
(2 rows)
remove_provenance

(1 row)
k|p
1|0.375000
2|0.375000
3|0.500000
(3 rows)
remove_provenance

(1 row)
k|p
1|0.375000
2|0.375000
3|0.250000
(3 rows)
remove_provenance

(1 row)
k|p
1|0.375000
2|0.375000
3|0.250000
(3 rows)
remove_provenance

(1 row)
k|g|p
1|10|0.250000
1|10|0.250000
2|20|0.250000
2|20|0.250000
3|30|0.250000
(5 rows)
remove_provenance

(1 row)
k|p
1|0.125000
2|0.125000
(2 rows)
remove_provenance

(1 row)
k|p
1|0.250000
2|0.125000
3|0.250000
(3 rows)
remove_provenance

(1 row)
k|p
1|0.125000
2|0.125000
(2 rows)
ERROR:  ProvSQL: subquery over a provenance-tracked relation not supported here: its body groups rows of its own, reads those groups with a HAVING, and is correlated with the query around it, so its groups are not the same from one outer row to the next
DETAIL:  provsql-reason: body-groups-correlated; scope: gap
remove_provenance

(1 row)
k|p
1|0.375000
2|0.375000
3|0.250000
(3 rows)
remove_provenance

(1 row)
k|p
1|0.250000
3|0.250000
(2 rows)
remove_provenance

(1 row)
k|p
2|0.125000
(1 row)
remove_provenance

(1 row)
k|p
1|0.125000
2|0.375000
(2 rows)
remove_provenance

(1 row)
k|p
1|0.375000
2|0.125000
3|0.500000
(3 rows)
remove_provenance

(1 row)
k|p
1|0.031250
2|0.125000
3|0.015625
(3 rows)
remove_provenance

(1 row)
k|p
1|0.250000
2|0.375000
(2 rows)
ERROR:  ProvSQL: subquery over a provenance-tracked relation not supported here: its body groups rows of its own
DETAIL:  provsql-reason: body-groups; scope: gap
remove_provenance

(1 row)
remove_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
id|pr
1|0.250000
(1 row)
remove_provenance

(1 row)
id|pr
1|0.250000
(1 row)
id
1
(1 row)
remove_provenance

(1 row)
id|pr
1|0.500000
2|0.250000
3|0.500000
(3 rows)
id
1
2
3
(3 rows)
ERROR:  ProvSQL: subquery over a provenance-tracked relation not supported here: its body holds a subquery of its own over a tracked relation
DETAIL:  provsql-reason: body-nested-subquery; scope: gap
remove_provenance

(1 row)
id|pr
1|0.250000
2|0.500000
3|0.250000
(3 rows)
remove_provenance

(1 row)