Struct OptimizeAggregateOrder

Source
pub struct OptimizeAggregateOrder {}
Expand description

This optimizer rule checks ordering requirements of aggregate expressions.

There are 3 kinds of aggregators in terms of ordering requirements:

  • AggregateOrderSensitivity::Insensitive, meaning that ordering is not important.
  • AggregateOrderSensitivity::HardRequirement, meaning that the aggregator requires a specific ordering.
  • AggregateOrderSensitivity::Beneficial, meaning that the aggregator can handle unordered input, but can run more efficiently if its input conforms to a specific ordering.

This rule analyzes aggregate expressions of type Beneficial to see whether their input ordering requirements are satisfied. If this is the case, the aggregators are modified to run in a more efficient mode.

Implementations§

Trait Implementations§

Source§

impl Debug for OptimizeAggregateOrder

Source§

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

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

impl Default for OptimizeAggregateOrder

Source§

fn default() -> OptimizeAggregateOrder

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

impl PhysicalOptimizerRule for OptimizeAggregateOrder

Source§

fn optimize( &self, plan: Arc<dyn ExecutionPlan>, _config: &ConfigOptions, ) -> Result<Arc<dyn ExecutionPlan>>

Applies the OptimizeAggregateOrder rule to the provided execution plan.

This function traverses the execution plan tree, identifies AggregateExec nodes, and optimizes their aggregate expressions based on existing input orderings. If optimizations are applied, it returns a modified execution plan.

§Arguments
  • plan - The root of the execution plan to optimize.
  • _config - Configuration options (currently unused).
§Returns

A Result containing the potentially optimized execution plan or an error.

Source§

fn name(&self) -> &str

A human readable name for this optimizer rule
Source§

fn schema_check(&self) -> bool

A flag to indicate whether the physical planner should valid the rule will not change the schema of the plan after the rewriting. Some of the optimization rules might change the nullable properties of the schema and should disable the schema check.

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<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

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

Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> MaybeSendSync for T