Expand description
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
- Definition and helper structs for the
Cardinality
Analysis. - Types common across multiple analyses
- An analysis that reports all known-equivalent expressions for each relation.
- explain 🔒Derived Analysis framework and definitions.
- Analysis that determines the logical monotonicity of an expression.
- Determines if accumulated frequences can be negative.
- Expression subtree sizes
- types 🔒Expression types
- Expression unique keys
Structs§
- Analysis that determines the number of columns of relation expressions.
- Compute the estimated cardinality of each subtree of a MirRelationExpr from the bottom up.
- Compute the column types of each subtree of a MirRelationExpr from the bottom-up.
- Analysis that determines if all accumulations at all times are non-negative.
- Analysis that determines the type of relation expressions.
- Analysis that determines the unique keys of relation expressions.
Enums§
- An abstract type denoting an inferred column name.
Traits§
- An analysis that can be applied bottom-up to a
MirRelationExpr
. - Lattice methods for repeated analysis
Functions§
- Produce an
AnnotatedPlan
wrapping the givenMirRelationExpr
along withAnalyses
derived from the given context configuration.