\set ECHO none
add_provenance

(1 row)
create_provenance_mapping

(1 row)
add_provenance

(1 row)
found|p|formula
yes|0.250000|1 ⊗ (𝟙 ⊖ 2)
(1 row)
id|p
4|0.500000
5|1.000000
6|1.000000
(3 rows)
a|b|provsql
2 (*)|2 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
WARNING:  ProvSQL: subquery over a tracked relation in a query over no tracked relation: provenance not tracked
DETAIL:  provsql-reason: sublink-in-untracked-block-frozen; scope: gap
HINT:  Mark it plain() to say so.
reads_token
2
(1 row)
remove_provenance

(1 row)
id|p
4|0.500000
5|1.000000
6|1.000000
(3 rows)
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|pr
3|1.000000
(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|pr
3|1.000000
(1 row)
WARNING:  ProvSQL: converting agg_token to text: provenance information is lost
DETAIL:  provsql-reason: stored-agg-token-conversion; scope: deliberate
below|e_below|total|e_total
1|0.500000|2|1.000000
(1 row)
n
1
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
cname|rname|p
c1|r1|0.562500
c1|r2|0.750000
c2|r1|0.375000
c2|r2|0.750000
(4 rows)
count|provsql
0 (*)|d265daa9-f206-561d-845c-2a85fa0fa72c
(1 row)
remove_provenance

(1 row)
remove_provenance

(1 row)