Expand description
An analysis that reports all known-equivalent expressions for each relation.
Expressions are equivalent at a relation if they are certain to evaluate to
the same Datum
for all records in the relation.
Equivalences are recorded in an EquivalenceClasses
, which lists all known
equivalences classes, each a list of equivalent expressions.
Structs§
- A compact representation of classes of expressions that must be equivalent.
- Pulls up and pushes down predicate information represented as equivalences
- Wrapper struct for human-readable printing of expressions inside
EquivalenceClasses
. (Similar toHumanizedExpr
. Unfortunately, we can’t just useHumanizedExpr
here, because we’d need toimpl Display for HumanizedExpr<'a, EquivalenceClasses, M>
, but neitherDisplay
norHumanizedExpr
is defined in this crate.)
Traits§
- A type capable of simplifying
MirScalarExpr
s.
Functions§
- True iff the aggregate function returns an input datum.