PierreSenellartprovenance1.1.0

Database provenance in Lean 4: the semiring framework, an annotated relational algebra with difference and aggregation, ProvSQL's provenance-aware query rewriting, and HAVING provenance
#provenance #semirings #databases #relational algebra #probabilistic databases #ProvSQL
Sort by
  1. Git dependency.
    Found on Reservoir.

    descriptive-complexitycb62e43

    Descriptive complexity in Lean 4: machine-model-free NP-completeness via first-order reductions, and the polynomial hierarchy via second-order alternation
  2. Registry dependency.
    Found on Reservoir.

    mathlibv4.33.0

    The math library of Lean 4