Struct CascadesOptimizer

pub struct CascadesOptimizer<T: RelNodeTyp, M: Memo<T> = NaiveMemo<T>> {
    pub ctx: OptimizerContext,
    pub prop: OptimizerProperties,
    /* private fields */
}

Fields

ctx: OptimizerContext

prop: OptimizerProperties

Implementations

impl<T: RelNodeTyp> CascadesOptimizer<T, NaiveMemo<T>>

pub fn new( rules: Vec<Arc<RuleWrapper<T, Self>>>, cost: Box<dyn CostModel<T, NaiveMemo<T>>>, property_builders: Vec<Box<dyn PropertyBuilderAny<T>>>, ) -> Self

pub fn new_with_prop( rules: Vec<Arc<RuleWrapper<T, Self>>>, cost: Box<dyn CostModel<T, NaiveMemo<T>>>, property_builders: Vec<Box<dyn PropertyBuilderAny<T>>>, prop: OptimizerProperties, ) -> Self

pub fn step_clear(&mut self)

Clear the memo table and all optimizer states.

pub fn step_clear_winner(&mut self)

Clear the winner so that the optimizer can continue to explore the group.

impl<T: RelNodeTyp, M: Memo<T>> CascadesOptimizer<T, M>

pub fn panic_on_explore_limit(&mut self, enabled: bool)

pub fn cost(&self) -> Arc<dyn CostModel<T, M>>

pub fn rules(&self) -> Arc<[Arc<RuleWrapper<T, Self>>]>

pub fn disable_rule(&mut self, rule_id: usize)

pub fn enable_rule(&mut self, rule_id: usize)

pub fn is_rule_disabled(&self, rule_id: usize) -> bool

pub fn dump(&self)

pub fn step_optimize_rel(&mut self, root_rel: RelNodeRef<T>) -> Result<GroupId>

Optimize a RelNode.

pub fn step_get_optimize_rel( &self, group_id: GroupId, meta: &mut Option<RelNodeMetaMap>, ) -> Result<RelNodeRef<T>>

Gets the group binding.

pub fn resolve_group_id(&self, root_rel: RelNodeRef<T>) -> GroupId

pub fn add_new_expr(&mut self, rel_node: RelNodeRef<T>) -> (GroupId, ExprId)

pub fn add_expr_to_group( &mut self, rel_node: RelNodeRef<T>, group_id: GroupId, ) -> Option<ExprId>

pub fn get_property_by_group<P: PropertyBuilder<T>>( &self, group_id: GroupId, idx: usize, ) -> P::Prop

Get the properties of a Cascades group P is the type of the property you expect idx is the idx of the property you want. The order of properties is defined by the property_builders parameter in CascadesOptimizer::new()

pub fn get_predicate_binding(&self, group_id: GroupId) -> Option<RelNodeRef<T>>

pub fn memo(&self) -> &M

Trait Implementations

impl<T: RelNodeTyp, M: Memo<T>> Optimizer<T> for CascadesOptimizer<T, M>

fn optimize(&mut self, root_rel: RelNodeRef<T>) -> Result<RelNodeRef<T>>

fn get_property<P: PropertyBuilder<T>>( &self, root_rel: RelNodeRef<T>, idx: usize, ) -> P::Prop