List of all items

Structs

• EmptyIndexOracle
• EmptyStatisticsOracle
• Fixpoint
• FuseAndCollapse
• Optimizer
• TransformCtx
• analysis::Arity
• analysis::Cardinality
• analysis::ColumnNames
• analysis::NonNegative
• analysis::RelationType
• analysis::UniqueKeys
• analysis::arity::Arity
• analysis::cardinality::Cardinality
• analysis::column_names::ColumnNames
• analysis::common::Bundle
• analysis::common::Derived
• analysis::common::DerivedBuilder
• analysis::common::DerivedView
• analysis::common_lattice::BoolLattice
• analysis::equivalences::EQLattice
• analysis::equivalences::EquivalenceClasses
• analysis::equivalences::Equivalences
• analysis::monotonic::Monotonic
• analysis::non_negative::NonNegative
• analysis::subtree::SubtreeSize
• analysis::types::RTLattice
• analysis::types::RelationType
• analysis::unique_keys::UKLattice
• analysis::unique_keys::UniqueKeys
• canonicalization::FlatMapToMap
• canonicalization::ProjectionExtraction
• canonicalization::ReduceScalars
• canonicalization::TopKElision
• canonicalization::flatmap_to_map::FlatMapToMap
• canonicalization::projection_extraction::ProjectionExtraction
• canonicalization::topk_elision::TopKElision
• canonicalize_mfp::CanonicalizeMfp
• column_knowledge::ColumnKnowledge
• compound::UnionNegateFusion
• compound::union::UnionNegateFusion
• cse::anf::ANF
• cse::anf::Bindings
• cse::relation_cse::RelationCSE
• dataflow::CollectIndexRequests
• dataflow::DataflowMetainfo
• dataflow::IndexUsageContext
• demand::Demand
• equivalence_propagation::EquivalencePropagation
• fold_constants::FoldConstants
• fusion::Fusion
• fusion::filter::Filter
• fusion::join::Join
• fusion::map::Map
• fusion::negate::Negate
• fusion::project::Project
• fusion::reduce::Reduce
• fusion::top_k::TopK
• fusion::union::Union
• join_implementation::JoinImplementation
• join_implementation::Orderer
• join_implementation::index_map::IndexMap
• literal_constraints::LiteralConstraints
• literal_lifting::LiteralLifting
• monotonic::MonotonicFlag
• movement::ProjectionLifting
• movement::ProjectionPushdown
• movement::projection_lifting::ProjectionLifting
• movement::projection_pushdown::ProjectionPushdown
• non_null_requirements::NonNullRequirements
• normalize_lets::NormalizeLets
• normalize_ops::NormalizeOps
• notice::HumanizedAction
• notice::HumanizedHint
• notice::HumanizedMessage
• notice::IndexAlreadyExists
• notice::IndexKeyEmpty
• notice::IndexTooWideForLiteralConstraints
• notice::OptimizerNotice
• notice::index_already_exists::IndexAlreadyExists
• notice::index_key_empty::IndexKeyEmpty
• notice::index_too_wide_for_literal_constraints::IndexTooWideForLiteralConstraints
• predicate_pushdown::PredicatePushdown
• reduce_elision::ReduceElision
• reduction_pushdown::Component
• reduction_pushdown::ReduceBuilder
• reduction_pushdown::ReductionPushdown
• redundant_join::ProvInfo
• redundant_join::ProvInfoCtx
• redundant_join::RedundantJoin
• semijoin_idempotence::Replacement
• semijoin_idempotence::SemijoinIdempotence
• threshold_elision::ThresholdElision
• typecheck::TypeErrorHumanizer
• typecheck::Typecheck
• union_cancel::UnionBranchCancellation
• will_distinct::WillDistinct

Enums

• TransformError
• analysis::ColumnName
• analysis::cardinality::CardinalityEstimate
• analysis::column_names::ColumnName
• column_knowledge::DatumKnowledge
• literal_constraints::IndexMatch
• normalize_lets::inlining::InlineOffer
• normalize_lets::let_motion::Binding
• notice::Action
• notice::ActionKind
• notice::OptimizerNoticeKind
• notice::RawOptimizerNotice
• typecheck::ColumnTypeDifference
• typecheck::RelationTypeDifference
• typecheck::TypeError
• union_cancel::BranchCmp

Traits

• IndexOracle
• StatisticsOracle
• Transform
• analysis::Analysis
• analysis::Lattice
• analysis::common::AnalysisBundle
• analysis::equivalences::ExpressionReducer
• analysis::equivalences::UnionFind
• notice::OptimizerNoticeApi

Macros

• all
• any
• notice::raw_optimizer_notices
• transforms
• typecheck::type_error

Functions

• analysis::annotate_plan
• analysis::equivalences::aggregate_is_input
• analysis::explain::annotate_plan
• analysis::non_negative::is_superset_of
• analysis::unique_keys::antichain_insert
• canonicalization::flatmap_to_map::is_supported_unnest
• column_knowledge::optimize
• column_knowledge::print_knowledge_map
• column_knowledge::print_knowledge_vec
• dataflow::choose_index
• dataflow::inline_views
• dataflow::optimize_dataflow
• dataflow::optimize_dataflow_demand
• dataflow::optimize_dataflow_demand_inner
• dataflow::optimize_dataflow_filters
• dataflow::optimize_dataflow_filters_inner
• dataflow::optimize_dataflow_monotonic
• dataflow::optimize_dataflow_relations
• dataflow::prune_and_annotate_dataflow_index_imports
• fuse_and_collapse
• fusion::join::unpack_equivalences
• join_implementation::delta_queries::plan
• join_implementation::differential::plan
• join_implementation::implement_arrangements
• join_implementation::install_lifted_mfp
• join_implementation::optimize_orders
• join_implementation::permute_order
• movement::projection_pushdown::reverse_permute
• movement::projection_pushdown::reverse_permute_columns
• non_null_requirements::intersect_all
• normalize
• normalize_lets::inlining::inline_lets
• normalize_lets::inlining::inline_lets_core
• normalize_lets::inlining::inline_lets_helper
• normalize_lets::let_motion::assert_letrec_major
• normalize_lets::let_motion::assert_no_lets
• normalize_lets::let_motion::extract_bindings
• normalize_lets::let_motion::harvest_non_recursive
• normalize_lets::let_motion::harvest_nonrec_suffix
• normalize_lets::let_motion::hoist_bindings
• normalize_lets::let_motion::post_order_harvest_lets
• normalize_lets::let_motion::promote_let_rec
• normalize_lets::normalize_lets
• normalize_lets::renumber_bindings
• normalize_lets::renumbering::determine
• normalize_lets::renumbering::implement
• normalize_lets::renumbering::renumber_bindings
• normalize_lets::support::count_local_id_uses
• normalize_lets::support::for_local_id
• normalize_lets::support::map_to_3vecs
• normalize_lets::support::refresh_types
• normalize_lets::support::replace_bindings_from_map
• reduction_pushdown::lookup_corresponding_component
• reduction_pushdown::try_push_reduce_through_join
• redundant_join::find_redundancy
• redundant_join::try_build_expression_using_other
• semijoin_idempotence::as_filtered_get
• semijoin_idempotence::attempt_join_simplification
• semijoin_idempotence::distinct_on_keys_of
• semijoin_idempotence::list_replacements
• semijoin_idempotence::list_replacements_join
• semijoin_idempotence::semijoin_bijection
• semijoin_idempotence::validate_replacement
• typecheck::column_subtype_difference
• typecheck::columns_pretty
• typecheck::empty_context
• typecheck::is_subtype_of
• typecheck::relation_subtype_difference
• typecheck::scalar_subtype_difference

Type Aliases

• typecheck::Context
• typecheck::SharedContext

Constants

• FOLD_CONSTANTS_LIMIT
• analysis::cardinality::WORST_CASE_SELECTIVITY
• dataflow::_IMPL_ARBITRARY_FOR_DataflowMetainfo
• notice::_IMPL_ARBITRARY_FOR_Action
• notice::_IMPL_ARBITRARY_FOR_OptimizerNotice
• notice::_IMPL_ARBITRARY_FOR_OptimizerNoticeKind