Module mz_expr::canonicalize

Utility functions to transform parts of a single MirRelationExpr into canonical form.

Functions

• canonicalize_equivalence_classes
  Canonicalize only the equivalence classes of a join.
• canonicalize_equivalences
  Canonicalize equivalence classes of a join and expressions contained in them.
• canonicalize_predicates
  Canonicalize predicates of a filter.
• get_canonicalizer_map
  For each equivalence class, it finds the simplest expression, which will be the canonical one. Returns a Map that maps from each expression in each equivalence class to the canonical expression in the same equivalence class.