Module mz_transform::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.
• RelationType
  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.