 |
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
|
ProvSQL C/C++ API
Adding support for provenance and uncertainty management to PostgreSQL databases
|
Files | |
| Boolean.h | |
| Boolean semiring ({false, true}, ∨, ∧, false, true). | |
| BoolExpr.h | |
| Boolean-expression (lineage formula) semiring. | |
| Counting.h | |
| Counting semiring (ℕ, +, ×, 0, 1). | |
| Formula.h | |
| Symbolic formula semiring producing readable provenance expressions. | |
| Semiring.h | |
| Abstract semiring interface for provenance evaluation. | |
| Why.h | |
| Why-provenance semiring (set of witness sets). | |