Struct QueryAnalyzer 

pub struct QueryAnalyzer {
    pub enable_type_inference: bool,
    /* private fields */
}

Query analyzer

Fields

enable_type_inference: bool

Whether to enable type inference

Implementations

impl QueryAnalyzer

pub fn new() -> Self

Create a new query analyzer

pub fn with_statistics(statistics: StatisticsCollector) -> Self

Create analyzer with statistics collector

pub fn with_cost_model(cost_model: CostModel) -> Self

Create analyzer with cost model

pub fn with_statistics_and_cost_model( statistics: StatisticsCollector, cost_model: CostModel, ) -> Self

Create analyzer with both statistics and cost model

pub fn analyze_query(&self, algebra: &Algebra) -> Result<QueryAnalysis>

Analyze a query and return comprehensive analysis results

pub fn analyze(&self, algebra: &Algebra) -> Result<QueryAnalysis>

Alias for analyze_query for backward compatibility

pub fn add_index(&mut self, _predicate: &str, _index_type: IndexType)

Add index information for optimization (placeholder implementation)

pub fn estimate_pattern_cardinality(&self, pattern: &TriplePattern) -> usize

Estimate pattern cardinality based on bound terms

pub fn estimate_pattern_cardinalities( &self, algebra: &Algebra, ) -> HashMap<usize, usize>

Estimate pattern cardinalities for all patterns

pub fn identify_join_variables_simplified( &self, algebra: &Algebra, ) -> Result<HashSet<Variable>>

Identify join variables in simplified form (returns HashSet)

pub fn analyze_filter_safety_structured( &self, algebra: &Algebra, ) -> Result<FilterSafetyAnalysis>

Analyze filter safety and return structured results

pub fn discover_variables(&self, algebra: &Algebra) -> Result<HashSet<Variable>>

Discover all variables in the algebra expression

pub fn extract_projected_variables( &self, algebra: &Algebra, ) -> HashSet<Variable>

Extract variables that appear in projection

pub fn extract_filter_variables(&self, algebra: &Algebra) -> HashSet<Variable>

Extract variables that appear in filters

pub fn identify_join_variables( &self, algebra: &Algebra, ) -> Result<HashMap<Variable, Vec<usize>>>

Identify variables that join patterns together

pub fn analyze_variable_scopes( &self, algebra: &Algebra, ) -> Result<HashMap<Variable, VariableScope>>

Analyze variable scoping

pub fn analyze_filter_safety( &self, algebra: &Algebra, ) -> Result<Vec<(Expression, FilterSafety)>>

Analyze filter safety

pub fn analyze_type_consistency( &self, algebra: &Algebra, ) -> Result<TypeConsistencyAnalysis>

Analyze type consistency

pub fn generate_index_hints( &self, algebra: &Algebra, ) -> Result<IndexOptimizationHints>

Generate index optimization hints

pub fn validate_semantics( &self, algebra: &Algebra, ) -> Result<Vec<ValidationError>>

Validate query semantics

Trait Implementations

impl Clone for QueryAnalyzer

fn clone(&self) -> QueryAnalyzer

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for QueryAnalyzer

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

Formats the value using the given formatter.

impl Default for QueryAnalyzer

fn default() -> Self

Returns the “default value” for a type.