Module mz_transform::cse::relation_cse
source · Expand description
Identifies common relation subexpressions and places them behind Let
bindings.
All structurally equivalent expressions, defined recursively as having structurally
equivalent inputs, and identical parameters, will be placed behind Let
bindings.
The resulting expressions likely have an excess of Let
expressions, and therefore
we automatically run the NormalizeLets
transformation to remove those that are not necessary.
Structs§
- Identifies common relation subexpressions and places them behind
Let
bindings.