Skip to main content

ExtractLeafExpressions

Struct ExtractLeafExpressions 

Source
pub struct ExtractLeafExpressions {}
Expand description

Extracts MoveTowardsLeafNodes sub-expressions from non-projection nodes into extraction projections (pass 1 of 2).

This handles Filter, Sort, Limit, Aggregate, and Join nodes. For Projection nodes, extraction and pushdown are handled by PushDownLeafProjections.

§Key Concepts

Extraction projection: a projection inserted below a node that pre-computes a cheap expression and exposes it under an alias (__datafusion_extracted_N). The parent node then references the alias instead of the original expression.

Recovery projection: a projection inserted above a node to restore the original output schema when extraction changes it. Schema-preserving nodes (Filter, Sort, Limit) gain extra columns from the extraction projection that bubble up; the recovery projection selects only the original columns to hide the extras.

§Example

Given a filter with a struct field access:

Filter: user['status'] = 'active'
  TableScan: t [id, user]

This rule:

  1. Inserts an extraction projection below the filter:
  2. Adds a recovery projection above to hide the extra column:
Projection: id, user                                                        <-- recovery projection
  Filter: __datafusion_extracted_1 = 'active'
    Projection: user['status'] AS __datafusion_extracted_1, id, user         <-- extraction projection
      TableScan: t [id, user]

Important: The PushDownFilter rule is aware of projections created by this rule and will not push filters through them. It uses ExpressionPlacement to detect MoveTowardsLeafNodes expressions and skip filter pushdown past them.

Implementations§

Trait Implementations§

Source§

impl Debug for ExtractLeafExpressions

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for ExtractLeafExpressions

Source§

fn default() -> ExtractLeafExpressions

Returns the “default value” for a type. Read more
Source§

impl OptimizerRule for ExtractLeafExpressions

Source§

fn name(&self) -> &str

A human readable name for this optimizer rule
Source§

fn rewrite( &self, plan: LogicalPlan, config: &dyn OptimizerConfig, ) -> Result<Transformed<LogicalPlan>>

Try to rewrite plan to an optimized form, returning Transformed::yes if the plan was rewritten and Transformed::no if it was not. Read more
Source§

fn apply_order(&self) -> Option<ApplyOrder>

How should the rule be applied by the optimizer? See comments on ApplyOrder for details. Read more
Source§

fn supports_rewrite(&self) -> bool

👎Deprecated since 47.0.0:

This method is no longer used

Does this rule support rewriting owned plans (rather than by reference)?

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Allocation for T
where T: RefUnwindSafe + Send + Sync,