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

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

//! The statement that writes a row, as constraint violations describe it.

/// The statement writing a row, as `PostgreSQL`'s executor knows it when it describes a row that fails a constraint (`ExecBuildSlotValueDescription`): the relation the statement names, whose columns describe a row it routes to a partition or updates in an inheritance child, and the columns it supplies, which a role that may not read the relation still sees.
#[derive(Debug, Clone, Copy)]
pub struct ConstraintStatement<'a> {
    /// The relation the statement names, by its catalog name (see [`statement_relation`]), or the table of the foreign key whose referential action writes the row.
    pub relation: &'a str,
    /// The columns the statement inserts or updates, by name.
    pub columns: &'a [String],
    /// Whether a referential action writes the row, which `PostgreSQL` performs as the owner of `relation`.
    pub referential_action: bool,
}

impl<'a> ConstraintStatement<'a> {
    /// A statement that names `relation` and supplies `columns`.
    pub const fn new(relation: &'a str, columns: &'a [String]) -> Self {
        Self {
            relation,
            columns,
            referential_action: false,
        }
    }

    /// The referential action of a foreign key of `relation` that sets `columns`.
    pub const fn referential_action(relation: &'a str, columns: &'a [String]) -> Self {
        Self {
            relation,
            columns,
            referential_action: true,
        }
    }
}

/// The catalog name of the relation a statement names, which its rows' tables are compared with; a name that resolves to no table is kept as written.
pub fn statement_relation(
    context: super::ConstraintContext<'_>,
    relation: &str,
) -> Result<String, uqa_sql::SQLError> {
    Ok(context
        .partitions
        .catalog
        .try_resolve_table_name(relation)
        .map_err(|error| {
            uqa_sql::SQLError::Internal(format!("resolve statement relation: {error}"))
        })?
        .unwrap_or_else(|| relation.to_string()))
}