neurolang.relational_algebra_provenance

Functions

check_do_not_share_non_prov_col(prov_set_1, ...)

is_provenance_operation(operation)

Classes

BuildProvenanceAlgebraSetWalkIntoMixin(...)

Attributes:

DisjointProjection(relation, attributes)

Methods

IndependentDisjointProjectionsAndUnionMixin(...)

Attributes:

IndependentProjection(relation, attributes)

Methods

IndependentProjectionUniversal(relation, ...)

Methods

LiftedPlanProjection(relation, attributes)

Methods

NaturalJoinInverse(relation_left, relation_right)

Methods

ProvenanceAlgebraSet(relation, provenance_column)

Attributes:

ProvenanceColumnManipulationMixin(*args, ...)

Attributes:

ProvenanceExtendedProjectionMixin(*args, ...)

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

ProvenanceSelectionMixin(*args, **kwargs)

Attributes:

ProvenanceSetOperationsMixin(*args, **kwargs)

Attributes:

RelationalAlgebraProvenanceCountingSolver([...])

Attributes:

RelationalAlgebraProvenanceCountingSolverMixin(...)

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

RelationalAlgebraProvenanceExpressionSemringSolver([...])

Attributes:

RelationalAlgebraProvenanceExpressionSemringSolverMixin(...)

Attributes:

WeightedNaturalJoin(relations, weights)

Methods

WeightedNaturalJoinSolverMixin(*args, **kwargs)

Attributes: