Expand description
Provenance extraction from XLOG programs into PIR.
Structs§
- Aggregate
Lift Report - Choice
Source - Metadata for a single Bernoulli decision stage in an annotated disjunction.
- Ground
Atom - Provenance
- Provenance extraction result: PIR graph plus per-tuple formulas and weight metadata.