\set ECHO none
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
id
101
102
(2 rows)
remove_provenance

(1 row)
id|p
100|0.187500
101|0.375000
102|0.500000
(3 rows)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
id
(0 rows)
remove_provenance

(1 row)
id|p
1|0.187500
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
rname|cname
(0 rows)
remove_provenance

(1 row)
rname|cname|p
r1|c1|0.093750
(1 row)
ERROR:  ProvSQL: EXCEPT ALL over provenance-tracked relations is not supported: the copies it keeps have no provenance of their own. Use EXCEPT, which returns the same rows when the left operand has no duplicates, or NOT IN / NOT EXISTS.
DETAIL:  provsql-reason: except-all; scope: deliberate
remove_provenance

(1 row)
rname|cname|p
r1|c1|0.093750
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
viterbi|formula
0|r1 ⊗ (𝟙 ⊖ q)
0|r2 ⊗ (𝟙 ⊖ q)
(2 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)
remove_provenance

(1 row)