Module mz_transform::redundant_join

Remove redundant collections of distinct elements from joins.

This analysis looks for joins in which one collection contains distinct elements, and it can be determined that the join would only restrict the results, and that the restriction is redundant (the other results would not be reduced by the join).

This type of optimization shows up often in subqueries, where distinct collections are used in decorrelation, and afterwards often distinct collections are then joined against the results.

Structs

• ProvInfo
  A relationship between a collections columns and some source columns.
• ProvInfoCtx
  A context of ProvInfo vectors associated with bindings that might still be referenced.
• RedundantJoin
  Remove redundant collections of distinct elements from joins.

Functions

• find_redundancy 🔒
  Attempts to find column bindings that make input redundant.
• try_build_expression_using_other 🔒
  Tries to build root_expr using elements from other’s projection.