uqa-execution 0.5.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

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

//! Fallible SQL comparisons retain frame masking and the caller's key order.

use super::{storage_error, CommandMutationOverlay, DocId, SQLError, StorageReadControl, Value};
use crate::query::exact_lookup::{matches_fields_with_control, FieldPresence};

pub(super) fn find_match(
    overlays: &[CommandMutationOverlay],
    table: &str,
    fields: &[String],
    values: &[Value],
    presence: FieldPresence,
    control: &StorageReadControl,
) -> Result<Option<DocId>, SQLError> {
    let mut found = None;
    let production = uqa_core::memory::ProductionControl::new(
        control.memory(),
        control.cancellation(),
        control.cancellation(),
    );
    for (position, overlay) in overlays.iter().enumerate().rev() {
        let Some(rows) = overlay.table(table) else {
            continue;
        };
        let view = rows.rows.view();
        let mut staged = view.rows(None);
        while let Some((id, document)) = staged.next(control).map_err(storage_error)? {
            if found.is_some_and(|found| id >= found) {
                break;
            }
            if CommandMutationOverlay::stages(&overlays[position + 1..], table, id, control)? {
                continue;
            }
            if let Some(document) = document {
                if matches_fields_with_control(
                    document.fields.as_ref(),
                    fields,
                    values,
                    presence,
                    &production,
                )? {
                    found = Some(id);
                    break;
                }
            }
        }
    }
    Ok(found)
}

pub(super) fn matches(
    overlays: &[CommandMutationOverlay],
    table: &str,
    fields: &[String],
    values: &[Value],
    kind: super::KeyKind,
    control: &StorageReadControl,
) -> Result<uqa_core::memory::BudgetedVec<DocId>, SQLError> {
    let mut found = uqa_core::memory::BudgetedVec::new(control.memory());
    let production = uqa_core::memory::ProductionControl::new(
        control.memory(),
        control.cancellation(),
        control.cancellation(),
    );
    for (position, overlay) in overlays.iter().enumerate().rev() {
        let Some(rows) = overlay.table(table) else {
            continue;
        };
        let view = rows.rows.view();
        let mut staged = view.rows(None);
        while let Some((id, document)) = staged.next(control).map_err(storage_error)? {
            let Some(document) = document else {
                continue;
            };
            if CommandMutationOverlay::stages(&overlays[position + 1..], table, id, control)? {
                continue;
            }
            if matches_fields_with_control(
                kind.document(&document)?,
                fields,
                values,
                FieldPresence::MissingIsNull,
                &production,
            )? {
                found.push(id).map_err(super::resource_error)?;
            }
        }
    }
    Ok(found)
}