ProvSQL Feature Coverage

This file cross-references every user-facing feature documented under doc/source/user/ against the introductory tutorial and the six case studies. It is meant as a maintenance aid: when adding a new feature, extend the tables below; when extending the tutorial or a case study, mark the additional cells.

Legend:

  • T: Tutorial (doc/source/user/tutorial.rst, Who Killed Daphine?)
  • 1: Case study 1 (casestudy1.rst, The Intelligence Agency)
  • 2: Case study 2 (casestudy2.rst, The Open Science Database)
  • 3: Case study 3 (casestudy3.rst, Île-de-France Public Transit)
  • 4: Case study 4 (casestudy4.rst, Government Ministers Over Time)
  • 5: Case study 5 (casestudy5.rst, The Wildlife Photo Archive)
  • 6: Case study 6 (casestudy6.rst, The City Air-Quality Sensor Network)
  • ✓: feature is exercised
  • (✓): feature is mentioned in passing but not actually executed
  • empty cell: feature is not covered

Setup and basics

Feature T 1 2 3 4 5 6
add_provenance ✓ ✓ ✓ ✓ ✓ ✓ ✓
remove_provenance ✓
provenance() SELECT-list function ✓ ✓ ✓ ✓ ✓ ✓ ✓
create_provenance_mapping (table) ✓ ✓ ✓ ✓
create_provenance_mapping_view ✓
Hand-built mapping table ✓
provsql.active GUC

Supported SQL constructs

Feature T 1 2 3 4 5 6
SELECT-FROM-WHERE / inner JOIN ✓ ✓ ✓ ✓ ✓ ✓ ✓
Self-join ✓ ✓ ✓ ✓
Subqueries in FROM / nested ✓ ✓ ✓
GROUP BY ✓ ✓ ✓ ✓ ✓
SELECT DISTINCT ✓ ✓ ✓
EXCEPT (monus) ✓ ✓ ✓
UNION / UNION ALL ✓
HAVING ✓ ✓
VALUES ✓ ✓
CTE (WITH) ✓
LATERAL ✓
Window functions
FILTER clause on aggregates
CREATE TABLE AS SELECT ✓ ✓ ✓
Provenance-bearing VIEW ✓ ✓
INSERT … SELECT (provenance propagation)

Aggregation

Feature T 1 2 3 4 5 6
COUNT / SUM / MIN / MAX / AVG ✓ ✓ ✓ ✓ ✓
sum / avg / product over random_variable ✓
string_agg / array_agg
COUNT(DISTINCT …)
Arithmetic / cast on aggregate result ✓
choose aggregate

Circuit inspection

Feature T 1 2 3 4 5 6
get_gate_type ✓ ✓
get_children ✓
identify_token ✓
get_nb_gates ✓
get_infos ✓
get_extra ✓

Semiring evaluation

Feature T 1 2 3 4 5 6
sr_boolean ✓
sr_boolexpr ✓ ✓
sr_formula ✓ ✓ ✓ ✓ ✓
sr_counting ✓ ✓
sr_why ✓
sr_how
sr_which
sr_tropical
sr_viterbi
sr_lukasiewicz
sr_minmax ✓
sr_maxmin
sr_temporal ✓
sr_interval_num
sr_interval_int
Custom semiring via provenance_evaluate ✓ ✓
aggregation_evaluate

Probabilities

Feature T 1 2 3 4 5 6
set_prob ✓ ✓ ✓ ✓ ✓
get_prob ✓
probability_evaluate (default fallback) ✓ ✓ ✓
'independent' method ✓
'possible-worlds' method ✓ ✓
'monte-carlo' method (✓) ✓ ✓
'tree-decomposition' method (✓) ✓ ✓ ✓
'compilation' (d4 / c2d / dsharp / minic2d) (✓) ✓
'weightmc' method
expected(COUNT/SUM/MIN/MAX) ✓ ✓
repair_key (block-independent, mulinput) ✓
provsql.monte_carlo_seed GUC ✓
provsql.rv_mc_samples GUC ✓
provsql.simplify_on_load GUC ✓

Continuous random variables

Feature T 1 2 3 4 5 6
random_variable type / provsql.normal ✓
provsql.uniform / provsql.exponential ✓
provsql.erlang / provsql.categorical ✓
provsql.mixture (Bernoulli and ad-hoc overloads) ✓
provsql.as_random and implicit numeric→rv casts ✓
Arithmetic on random_variable (+ - * /, unary -) ✓
Comparison < <= = <> >= > (planner-hook rewrite) ✓
expected(random_variable) (unconditional) ✓
variance(random_variable) ✓
moment / central_moment / support over rv ✓
Conditional inference via provenance() argument ✓
rv_sample / rv_histogram ✓

Shapley and Banzhaf values

Feature T 1 2 3 4 5 6
shapley ✓
shapley_all_vars ✓
banzhaf ✓
banzhaf_all_vars ✓

Where-provenance

Feature T 1 2 3 4 5 6
provsql.where_provenance GUC ✓ ✓
where_provenance(col) ✓ ✓

Data-modification tracking

Feature T 1 2 3 4 5 6
provsql.update_provenance GUC ✓
INSERT / UPDATE / DELETE tracked ✓
update_provenance log table ✓
undo ✓

Temporal features

Feature T 1 2 3 4 5 6
union_tstzintervals ✓
timeslice ✓
timetravel ✓
history ✓
time_validity_view extension ✓
get_valid_time

Export and visualisation

Feature T 1 2 3 4 5 6
to_provxml ✓
view_circuit (graph-easy) ✓
provsql.verbose_level
ProvSQL Studio (Circuit mode + Where mode) ✓