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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110

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

//! Materialize uncached rows and decorrelated keys through native query execution.

use super::{analysis, SubqueryContext, SubqueryServices};
use crate::query::scope::subqueries::{
    CachedCorrelatedExists, CachedScalarSubquery, CorrelatedExistsOuterKeys,
};
use crate::query::{
    output::QueryRows,
    sources::lateral_query::execute_lateral_subquery_output,
    statement::{consumer::QueryOutputMode, execute_query_plan_output},
    CteScope,
};
use crate::scalar::plan::PhysicalOuterRow;
use std::sync::Arc;
use uqa_sql::{plan::QueryPlan, SQLError, SQLParam};

pub(super) fn build_correlated_exists<S: Clone + Send + Sync + 'static>(
    services: &SubqueryServices<'_, S>,
    ctes: &CteScope<S>,
    plan: &QueryPlan,
    params: &[SQLParam],
) -> Result<Option<Arc<CachedCorrelatedExists>>, SQLError> {
    let Some(decorrelated) = analysis::decorrelate_exists(services, plan)? else {
        return Ok(None);
    };
    let mut scoped_ctes = ctes.clone();
    scoped_ctes.lock_identities.emit = false;
    let result = execute_query_plan_output(
        &services.queries.query_context(),
        &decorrelated.inner,
        params,
        &mut scoped_ctes,
        QueryOutputMode::ExistsKeySet,
    )?;
    let QueryRows::ExistsKeySet(keys) = result.rows else {
        return Err(SQLError::Internal(
            "decorrelated EXISTS collector returned row output".into(),
        ));
    };
    Ok(Some(Arc::new(CachedCorrelatedExists {
        outer_keys: CorrelatedExistsOuterKeys::compile(decorrelated.outer_keys),
        keys,
    })))
}

impl<S: Clone + Send + Sync + 'static> SubqueryContext<'_, S> {
    pub(super) fn build_correlated_exists(
        &self,
        plan: &QueryPlan,
        params: &[SQLParam],
    ) -> Result<Option<Arc<CachedCorrelatedExists>>, SQLError> {
        build_correlated_exists(&self.services, self.ctes, plan, params)
    }

    pub(super) fn execute_uncorrelated_subquery(
        &self,
        plan: &QueryPlan,
        params: &[SQLParam],
    ) -> Result<CachedScalarSubquery, SQLError> {
        let mut scoped_ctes = self.ctes.clone();
        scoped_ctes.lock_identities.emit = false;
        scoped_ctes.clear_row_lock_outer_row();
        let output = execute_query_plan_output(
            &self.services.queries.query_context(),
            plan,
            params,
            &mut scoped_ctes,
            QueryOutputMode::SharedSpill,
        )?;
        let QueryRows::SharedSpill(rows) = output.rows else {
            return Err(SQLError::Internal(
                "scalar subquery spill collector returned in-memory rows".into(),
            ));
        };
        Ok(CachedScalarSubquery {
            columns: output.columns,
            rows,
        })
    }

    pub(super) fn execute_correlated_subquery(
        &self,
        plan: &QueryPlan,
        outer_row: PhysicalOuterRow<'_>,
        params: &[SQLParam],
    ) -> Result<crate::SubqueryResult, SQLError> {
        match outer_row {
            PhysicalOuterRow::Physical { schema, row } => {
                let outer_row = crate::OwnedPhysicalRow::new(schema.clone(), row.clone());
                execute_lateral_subquery_output(
                    &self.services.queries.source_context(),
                    plan,
                    &outer_row,
                    params,
                    self.ctes,
                )?
                .into_subquery_result()
            }
            PhysicalOuterRow::Absent => Err(SQLError::Internal(
                "correlated subquery reached execution without a positional outer row".into(),
            )),
        }
    }
}