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

arity 🔒

Expression arities

cardinality 🔒

Definition and helper structs for the Cardinality Analysis.

column_names 🔒

common

Types common across multiple analyses

common_lattice 🔒

equivalences

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

explain 🔒

Derived Analysis framework and definitions.

monotonic

Analysis that determines the logical monotonicity of an expression.

non_negative 🔒

Determines if accumulated frequences can be negative.

subtree

Expression subtree sizes

types 🔒

Expression types

unique_keys 🔒

Expression unique keys

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.

SqlRelationType

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.