uqa-execution 0.3.5

Volcano physical operators with row-batch pipelines
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//
// Unified Query Algebra
//
// Copyright (c) 2023-2026 Cognica, Inc.
//

//! Cancellation and SQL validation before any command-specific state is observed.

use super::context::StatementValidationContext;
use uqa_core::CancellationToken;
use uqa_sql::{plan::UnifiedPlan, SQLError};

pub fn validate_plan(
    context: &StatementValidationContext<'_>,
    cancellation: &CancellationToken,
    plan: &UnifiedPlan,
) -> Result<(), SQLError> {
    cancellation.check()?;
    {
        let resolution = context.session.relation_name_resolution();
        uqa_sql::semantics::cte_validation::validate_plan(
            &uqa_sql::semantics::cte_validation::CteValidationContext {
                catalog: context.rules,
                resolution: &resolution,
            },
            plan,
        )?;
    }
    super::transactions::validate_transaction_plan(
        context.transactions,
        &context.effects.query_effect_context(),
        plan,
    )
}

#[cfg(test)]
mod tests;