\set ECHO none
remove_provenance

(1 row)
city|formula|counting
Berlin|𝟘|0
New York|𝟘|0
Paris|Dave ⊗ Magdalen ⊗ Nancy|1
(3 rows)
remove_provenance

(1 row)
city|formula|counting
New York|John ⊗ Paul|1
Paris|(Dave ⊗ (𝟙 ⊖ (Magdalen ⊕ Nancy))) ⊕ (Magdalen ⊗ (𝟙 ⊖ (Dave ⊕ Nancy))) ⊕ (Nancy ⊗ (𝟙 ⊖ (Dave ⊕ Magdalen))) ⊕ (Dave ⊗ Magdalen ⊗ (𝟙 ⊖ Nancy)) ⊕ (Dave ⊗ Nancy ⊗ (𝟙 ⊖ Magdalen)) ⊕ (Magdalen ⊗ Nancy ⊗ (𝟙 ⊖ Dave)) ⊕ (Dave ⊗ Magdalen ⊗ Nancy)|1
(2 rows)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
shape|g|p
no comparison|1|0.2625
no comparison|2|0.2250
(2 rows)
remove_provenance

(1 row)
shape|g|p
comparison, no join|1|0.5000
comparison, no join|2|0.2500
(2 rows)
remove_provenance

(1 row)
shape|g|p
comparison above join|1|0.1500
comparison above join|2|0.0750
(2 rows)
remove_provenance

(1 row)
shape|p
two groups above join|0.0375
(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
nesting|g|p
one level|1|0.5000
one level|2|0.2500
(2 rows)
remove_provenance

(1 row)
nesting|g|p
two levels|1|0.5000
two levels|2|0.2500
(2 rows)
remove_provenance

(1 row)
nesting|g|p
three levels|1|0.5000
three levels|2|0.2500
(2 rows)
remove_provenance

(1 row)
nesting|g|p
nested view, c = 3|1|0.1250
nested view, c = 3|2|0.0000
(2 rows)
add_provenance

(1 row)
remove_provenance

(1 row)
shape|p
count(g1) > count(g2)|0.28125
(1 row)
remove_provenance

(1 row)
shape|p
sum(g1) > sum(g2)|0.62500
(1 row)
add_provenance

(1 row)
add_provenance

(1 row)
remove_provenance

(1 row)
shape|g|p
delta mixed with a join partner|1|0.1500
delta mixed with a join partner|2|0.0750
(2 rows)
remove_provenance

(1 row)
shape|g|p
comparison over a comparison|1|0.3750
comparison over a comparison|2|0.2500
(2 rows)
remove_provenance

(1 row)
remove_provenance

(1 row)
shape|identical
fused token = subquery token|t
(1 row)