Module analysis 

Traits and types for reusable expression analysis

Re-exports

pub use common::Derived;

pub use common::DerivedBuilder;

pub use common::DerivedView;

pub use subtree::SubtreeSize;

Modules

common

Types common across multiple analyses

equivalences

An analysis that reports all known-equivalent expressions for each relation.

monotonic

Analysis that determines the logical monotonicity of an expression.

subtree

Expression subtree sizes

Structs

Arity

Analysis that determines the number of columns of relation expressions.

Cardinality

Compute the estimated cardinality of each subtree of a MirRelationExpr from the bottom up.

ColumnNames

Compute the column types of each subtree of a MirRelationExpr from the bottom-up.

NonNegative

Analysis that determines if all accumulations at all times are non-negative.

ReprRelationType

Analysis that determines the type of relation expressions.

UniqueKeys

Analysis that determines the unique keys of relation expressions.

Enums

ColumnName

An abstract type denoting an inferred column name.

Traits

Analysis

An analysis that can be applied bottom-up to a MirRelationExpr.

Lattice

Lattice methods for repeated analysis

Functions

annotate_plan

Produce an AnnotatedPlan wrapping the given MirRelationExpr along with Analyses derived from the given context configuration.