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

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