uqa-execution 0.3.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
34
35
36
37
38
39
40
41

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

//! Capture catalog and name resolution for SQL-owned correlation analysis.

use super::SubqueryServices;
use uqa_sql::binding::correlation::{CorrelationContext, DecorrelatedExistsPlan};
use uqa_sql::{plan::QueryPlan, SQLError};

pub(super) fn decorrelate_exists<S: Clone + 'static>(
    services: &SubqueryServices<'_, S>,
    plan: &QueryPlan,
) -> Result<Option<DecorrelatedExistsPlan>, SQLError> {
    let catalog = services.catalog.catalog_snapshot();
    let resolution = services.session.relation_name_resolution();
    uqa_sql::binding::correlation::decorrelate_exists(
        CorrelationContext {
            catalog: &catalog,
            resolution: &resolution,
        },
        plan,
    )
}

pub(super) fn query_depends_on_outer_row<S: Clone + 'static>(
    services: &SubqueryServices<'_, S>,
    plan: &QueryPlan,
) -> Result<bool, SQLError> {
    let catalog = services.catalog.catalog_snapshot();
    let resolution = services.session.relation_name_resolution();
    uqa_sql::binding::correlation::query_depends_on_outer_row(
        CorrelationContext {
            catalog: &catalog,
            resolution: &resolution,
        },
        plan,
    )
}