uqa-execution 0.5.3

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

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

//! Relational retrieval promises rows; graph encodings and synthetic carriers do not.

use super::OperatorTree;

pub(super) fn promises_documents(operator: &OperatorTree) -> bool {
    match operator {
        OperatorTree::Empty
        | OperatorTree::Term { .. }
        | OperatorTree::Phrase { .. }
        | OperatorTree::Filter { .. }
        | OperatorTree::IndexScan { .. }
        | OperatorTree::Complement(_)
        | OperatorTree::BayesianMatchWithPrior { .. }
        | OperatorTree::VectorSimilarity { .. }
        | OperatorTree::KNN { .. }
        | OperatorTree::CalibratedVectorMatch { .. }
        | OperatorTree::MultiFieldSearch { .. }
        | OperatorTree::DeepPredict { .. } => true,
        OperatorTree::Score { source, .. }
        | OperatorTree::BayesianScore { source, .. }
        | OperatorTree::CosineProbability(source)
        | OperatorTree::ProbNot { signal: source, .. }
        | OperatorTree::SparseThreshold { source, .. }
        | OperatorTree::VectorExclusion {
            positive: source, ..
        } => promises_documents(source),
        OperatorTree::Intersect(parts) => parts.iter().any(promises_documents),
        OperatorTree::Composed(parts) => parts.last().is_some_and(promises_documents),
        OperatorTree::Union(parts)
        | OperatorTree::BayesianEvidenceFusion { signals: parts, .. }
        | OperatorTree::RobustPositiveEvidencePool { signals: parts, .. }
        | OperatorTree::ProbBoolFusion { signals: parts, .. }
        | OperatorTree::AttentionFusion { signals: parts, .. }
        | OperatorTree::LearnedFusion { signals: parts, .. } => {
            parts.iter().all(promises_documents)
        }
        OperatorTree::HybridTextVector {
            term_op, vector_op, ..
        } => promises_documents(term_op) && promises_documents(vector_op),
        OperatorTree::SemanticFilter { source, vector_op } => {
            promises_documents(source) || promises_documents(vector_op)
        }
        // Graph and aggregation carriers can introduce identities unrelated to
        // the selected relation. Opaque and staged operators supply no proof.
        _ => false,
    }
}