Skip to main content

Crate hawdb_optimizer

Crate hawdb_optimizer 

Source
Expand description

Compatibility facade over the framework and domain-owned optimizer families.

Modules§

context
cost
graph
logical
Logical optimizer operator metadata.
memo
operator
Compatibility re-exports for optimizer operator metadata.
predicate
properties
relational
relational_join
Relational inner-join graph contracts and validation.
relational_join_hypergraph
Hypergraph csg-cmp enumeration for bound relational join operators.
relational_join_rewrite
CD-C legality analysis and memo-backed join rewrite enumeration.
relational_planning
relational_profile
relational_sargability
Extracts index-compatible constraints without binding values or accessing storage.
rule
search
stage
trace
vector

Structs§

AdaptiveVectorBackendDecision
AdaptiveVectorBackendInput
AdaptiveVectorBackendPolicy
AppliedRule
CascadesOptimizer
FastPathPhysicalPhase
GroupId
LogicalPhase
LogicalPlanRoot
LoweringReadyLogicalPlanRoot
LoweringReadyPhase
Memo
MemoGroup
OperatorCardinalityEstimate
The optimizer’s output-cardinality estimate for one physical operator.
OptimizationPipeline
OptimizationSearchReport
OptimizationStage
OptimizerCatalog
OptimizerCatalogIndexes
OptimizerCatalogStatistics
OptimizerConfig
OptimizerContext
OptimizerIndexStatistics
OptimizerTrace
PhysicalOperatorId
A plan-local physical operator identity assigned in pre-order.
PhysicalPhase
PhysicalProperties
PipelineExecution
PlanCost
PlanCostBreakdown
Cardinality and unweighted logical work, plus the weighted scalar total.
PlannedVectorSearch
RelationalAccessCostContext
Immutable structural work for the row source of one relation.
RelationalAccessPathDescriptor
RelationalCsgCmpAlternative
RelationalCsgCmpEnumeration
RelationalCsgCmpJoinImplementation
A pre-bound implementation supported by the caller’s two-relation kernel. It competes inside memo selection, not after choosing a join order. Predicate IDs name the complete operator, including residual predicates.
RelationalCsgCmpPlan
RelationalInnerJoinEnumeration
RelationalJoinAccessPath
RelationalJoinConflictAnalysis
RelationalJoinConflictDescriptor
RelationalJoinConflictRule
RelationalJoinCostContexts
Per-binding row-source costs for one immutable join enumeration.
RelationalJoinEnumerationConfig
RelationalJoinGraph
RelationalJoinOperator
RelationalJoinOperatorId
RelationalJoinPlan
RelationalJoinPlanningAttempt
RelationalJoinPlanningBudget
RelationalJoinPlanningCost
RelationalJoinPlanningOutcome
RelationalJoinPredicate
RelationalJoinPredicateId
RelationalJoinRelation
RelationalJoinRewriteEnumeration
RelationalJoinRewritePlan
RelationalJoinRewriteProblem
RelationalJoinRewriteStep
RelationalJoinStep
RelationalNestedLoopJoinCost
Conservative row-work estimate for an index nested-loop join.
RelationalOperatorCardinalityProfile
Estimated and observed output cardinality at one relational operator boundary.
RelationalOperatorId
Stable, plan-local identifier for a physical relational access or join operator.
RequiredProperties
ResourceHints
RuleApplication
RuleBatch
RuleEvent
RuleId
RulePromise
RuleStage
SearchFieldRef
SearchPredicate
SearchPredicateParseError
SearchPredicatePushdown
SearchPredicateSet
SearchScanPredicateSupport
SelectedPlanTrace
StageRuleBatch
StageStats
StageTrace
VectorPlanProperties

Enums§

AdaptiveVectorBackend
ApplyOrder
Distribution
ExplainMode
LogicalPlanClass
LogicalPlanKind
MemoryBudgetClass
OptimizerSearchDirective
OptimizerSearchDirectiveError
PhysicalPlanClass
PhysicalPlanKind
PlanChildren
PlanPhaseKind
QueryFamily
RelationalAccessPathKind
RelationalCsgCmpPlanNode
RelationalCsgCmpRightInputPolicy
Execution capability for a CSG-CMP join’s non-singleton right input.
RelationalEquiJoinAlgorithm
RelationalJoinAccessApplicability
RelationalJoinCardinality
RelationalJoinEnumerationError
RelationalJoinOperatorKind
RelationalJoinPlanningDirective
RelationalJoinPlanningFallbackClass
RelationalJoinPlanningReason
RelationalJoinPlanningStatus
RelationalJoinPlanningStrategy
RelationalJoinRewriteError
RelationalJoinRightInput
RelationalJoinSelectivity
RelationalJoinTree
RelationalOperatorKind
RuleKind
RuleOutcome
ScanPruningSupport
SearchMode
SearchPredicateOp
SearchScalarValue
StatementClass
TraceSink
VectorCompressionPreference
VectorPlanError
VectorPrecision

Traits§

LogicalPlanNode
OptimizerRule
PhysicalPlanNode
PlanNode
PlanPhase

Functions§

analyze_relational_join_conflicts
apply_rule_batch
enumerate_relational_csg_cmp_joins
enumerate_relational_csg_cmp_joins_with_cost_contexts
enumerate_relational_csg_cmp_joins_with_implementations
enumerate_relational_csg_cmp_joins_with_right_input_policy
enumerate_relational_inner_joins
enumerate_relational_inner_joins_with_cost_contexts
enumerate_relational_join_rewrites
enumerate_relational_join_rewrites_with_cost_contexts
estimate_relational_access_cost
estimate_relational_access_path_cost
Estimates logical work for a validated access descriptor.
estimate_relational_access_path_cost_with_context
Uses the same raw-component contract with relation-specific structural context. Row-root setup CPU and metadata access patterns retain separate raw components; cardinality and output stay independent. The final constructor weights every component once.
estimate_relational_join_cost
estimate_relational_join_cost_with_contexts
Extends join composition with the original row sources of its two inputs.
estimate_relational_nested_loop_join_cost
Estimates row visits for an index nested-loop join.
estimate_relational_probe_join_cost
Extends a left-deep plan with one probe join using the canonical relational cost model.
normalize_search_enum_value
plan_class_counts
plan_operator_counts
plan_vector_search
push_search_predicates
search_field_is_enum_like
select_adaptive_vector_backend
select_relational_access_path
select_relational_access_path_with_context
Selects an access after context-aware skyline pruning. Candidate costs are comparable only when this context belongs to their common row source.
skyline_prune_relational_access_paths
Retains the Pareto frontier of relational access paths.
skyline_prune_relational_access_paths_with_context
Computes the frontier with the same immutable relation context used for final selection. The legacy entrypoint retains descriptor-only costs.
validate_vector_pipeline
visit_plan
visit_plan_with_ids
Visits a physical plan in pre-order and assigns each operator its plan-local identity.

Type Aliases§

FastPathPhysicalPlanRoot
PhysicalPlanRoot