\set ECHO none
add_provenance

(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|formula
Beijing|Ellen ⊗ Jing
Nairobi|Juma ⊗ Paul
(2 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|min_clearance
Beijing|secret
Nairobi|restricted
Paris|confidential
(3 rows)
remove_provenance

(1 row)
city|formula
Nairobi|(Juma ⊕ Paul) ⊖ (Juma ⊗ Paul)
(1 row)
remove_provenance

(1 row)
city|source
Beijing|{[agents::4;agents::4],[]}
Nairobi|{[agents::4;agents::4],[]}
Paris|{[agents::4;agents::4;agents::4],[]}
(3 rows)
remove_provenance

(1 row)
city|prob
Beijing|0.5400
Nairobi|0.2600
Paris|0.4100
(3 rows)
remove_provenance

(1 row)
city|prob_within_tolerance
Beijing|t
(1 row)
remove_provenance

(1 row)
city|prob
Beijing|0.5400
Nairobi|0.2600
Paris|0.4100
(3 rows)
remove_provenance

(1 row)
city|boolexpr
Nairobi|(x0 ∨ x1) ∧ (¬(x0 ∧ x1))
(1 row)
remove_provenance

(1 row)
has_gates
t
(1 row)
root_type|root_n_children
monus|2
(1 row)
plus_type|plus_n_children
plus|2
(1 row)
source_table|nb_columns
agents|5
agents|5
(2 rows)
remove_provenance

(1 row)
city|prob
Beijing|0.5400
Nairobi|0.7400
Paris|0.4100
(3 rows)
saved_prob
0.2600
(1 row)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|levels|at_unclassified|settles_at|visible_at_top|minmax
Beijing|{}|f|unclassified|f|unavailable
Nairobi|{unclassified}|t|restricted|f|unclassified
Paris|{restricted}|f|confidential|f|restricted
(3 rows)
name|city|shared_with
Juma|Nairobi|{mi6,dgse}
Paul|Nairobi|{mi6}
David|Paris|{dgse,bnd}
Ellen|Beijing|{bnd}
Aaheli|Paris|{}
Nancy|Paris|{mi6,dgse,bnd}
Jing|Beijing|{dgse}
(7 rows)
create_provenance_mapping

(1 row)
remove_provenance

(1 row)
city|agents|allies
Beijing|2|{}
Beijing|1|{bnd,dgse}
Nairobi|2|{mi6}
Nairobi|1|{dgse}
Paris|3|{}
Paris|2|{bnd,dgse}
Paris|1|{mi6}
(7 rows)