Module datafusion_physical_expr::equivalence

Structs

• EquivalenceProperties
  Represents a collection of EquivalentClass (equivalences between columns in relations)
• EquivalentClass
  EquivalentClass is a set of Columns or PhysicalSortExprs that are known to have the same value in all tuples in a relation. EquivalentClass<Column> is generated by equality predicates, typically equijoin conditions and equality conditions in filters. EquivalentClass<PhysicalSortExpr> is generated by the ROW_NUMBER window function.
• OrderingEquivalenceBuilder
  This is a builder object facilitating incremental construction for ordering equivalences.

Functions

• ordering_equivalence_properties_helper
  Retrieves the ordering equivalence properties for a given schema and output ordering.
• project_equivalence_properties
  This function applies the given projection to the given equivalence properties to compute the resulting (projected) equivalence properties; e.g.
• project_ordering_equivalence_properties
  This function applies the given projection to the given ordering equivalence properties to compute the resulting (projected) ordering equivalence properties; e.g.
• update_ordering_equivalence_with_cast
  Update cast expressions inside ordering equivalence properties with its target column after projection

Type Definitions

• OrderingEquivalenceProperties
  OrderingEquivalenceProperties keeps track of columns that describe the global ordering of the schema. These columns are not necessarily same; e.g.
• OrderingEquivalentClass
  LexOrdering stores the lexicographical ordering for a schema. OrderingEquivalentClass keeps track of different alternative orderings than can describe the schema. For instance, for the table below |a|b|c|d| |1|4|3|1| |2|3|3|2| |3|1|2|2| |3|2|1|3| both vec![a ASC, b ASC] and vec![c DESC, d ASC] describe the ordering of the table. For this case, we say that vec![a ASC, b ASC], and vec![c DESC, d ASC] are ordering equivalent.