neurolang.relational_algebra_provenance#

Functions

check_do_not_share_non_prov_col(prov_set_1, ...)

is_provenance_operation(operation)

Classes

BuildProvenanceAlgebraSetWalkIntoMixin(...)

DisjointProjection(relation, attributes)

IndependentDisjointProjectionsAndUnionMixin(...)

IndependentProjection(relation, attributes)

IndependentProjectionUniversal(relation, ...)

LiftedPlanProjection(relation, attributes)

NaturalJoinInverse(relation_left, relation_right)

ProvenanceAlgebraSet(relation, provenance_column)

ProvenanceColumnManipulationMixin(*args, ...)

ProvenanceExtendedProjectionMixin(*args, ...)

Mixin that implements specific cases of extended projections on provenance sets for which the semantics are not modified.

ProvenanceSelectionMixin(*args, **kwargs)

ProvenanceSetOperationsMixin(*args, **kwargs)

RelationalAlgebraProvenanceCountingSolver([...])

RelationalAlgebraProvenanceCountingSolverMixin(...)

Mixing that walks through relational algebra expressions and executes the operations and provenance calculations.

RelationalAlgebraProvenanceExpressionSemringSolver([...])

RelationalAlgebraProvenanceExpressionSemringSolverMixin(...)

Subtraction(relation_left, relation_right)

Probabilistic subtraction of two provenance sets.

Support(relation)

Tuples of a provenance set, all with provenance 1.

WeightedNaturalJoin(relations, weights)

WeightedNaturalJoinSolverMixin(*args, **kwargs)