Module 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.