uqa-execution 0.4.0

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

//
// 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()?;
    uqa_sql::semantics::cte_validation::validate_plan(
        &uqa_sql::semantics::cte_validation::CteValidationContext {
            catalog: context.rules,
        },
        plan,
    )?;
    super::transactions::validate_transaction_plan(
        context.transactions,
        &context.effects.query_effect_context(),
        plan,
    )
}

#[cfg(test)]
mod tests;