spg-engine 7.37.23

Execution engine for SPG: glues spg-sql parsing to spg-storage. Foreign keys, joins, vectors, cold tier.
Documentation 
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
111
112

//! v7.37.17 (17.6 siblings) — multirange constructor functions
//! (int4multirange etc.), variadic over ranges.

use spg_engine::{Engine, QueryResult};

fn first(e: &mut Engine, sql: &str) -> spg_storage::Value<'static> {
    let r = e
        .execute(sql)
        .unwrap_or_else(|err| panic!("{sql}: {err:?}"));
    let QueryResult::Rows { rows, .. } = r else {
        panic!("expected Rows");
    };
    rows[0].values[0].clone()
}

fn text(v: &spg_storage::Value<'_>) -> String {
    match v {
        spg_storage::Value::Text(s) => s.to_string(),
        other => panic!("expected Text, got {other:?}"),
    }
}

#[test]
fn multirange_from_ranges() {
    let mut e = Engine::new();
    let got = text(&first(
        &mut e,
        "SELECT int4multirange(int4range(1, 3), int4range(5, 8))::text",
    ));
    assert_eq!(got, "{[1,3),[5,8)}");
    // Single range.
    assert_eq!(
        text(&first(
            &mut e,
            "SELECT int4multirange(int4range(1, 3))::text"
        )),
        "{[1,3)}"
    );
}

#[test]
fn empty_ranges_drop_and_zero_args_empty() {
    let mut e = Engine::new();
    // Empty member ranges are dropped.
    assert_eq!(
        text(&first(
            &mut e,
            "SELECT int4multirange(int4range(1, 3), int4range(5, 5))::text"
        )),
        "{[1,3)}"
    );
    // Zero args → the empty multirange.
    assert_eq!(text(&first(&mut e, "SELECT int4multirange()::text")), "{}");
}

#[test]
fn kind_mismatch_errors() {
    let mut e = Engine::new();
    let err = e
        .execute("SELECT int4multirange(int8range(1, 3))")
        .unwrap_err();
    let msg = format!("{err:?}");
    assert!(msg.contains("doesn't match"), "unexpected error: {msg}");
}

#[test]
fn other_kinds_construct() {
    let mut e = Engine::new();
    let got = text(&first(
        &mut e,
        "SELECT datemultirange(daterange(DATE '2003-01-01', DATE '2003-02-01'))::text",
    ));
    assert!(
        got.starts_with('{') && got.contains("2003-01-01"),
        "unexpected render: {got}"
    );
}

#[test]
fn multirange_constructor_normalizes() {
    // PG normalizes multirange members: overlapping/adjacent spans merge,
    // empties drop, and the result is sorted. All live-PG18.4-verified.
    let mut e = Engine::new();
    let mr = |e: &mut Engine, expr: &str| text(&first(e, &format!("SELECT ({expr})::text")));
    // Overlap and (int4-discrete) adjacency both merge.
    assert_eq!(
        mr(&mut e, "int4multirange(int4range(1,5),int4range(4,8))"),
        "{[1,8)}"
    );
    assert_eq!(
        mr(&mut e, "int4multirange(int4range(1,5),int4range(5,8))"),
        "{[1,8)}"
    );
    // Disjoint spans stay separate; unsorted input is sorted.
    assert_eq!(
        mr(&mut e, "int4multirange(int4range(1,3),int4range(5,8))"),
        "{[1,3),[5,8)}"
    );
    assert_eq!(
        mr(&mut e, "int4multirange(int4range(10,20),int4range(1,5))"),
        "{[1,5),[10,20)}"
    );
    // Empty member dropped; continuous (numeric) overlap merges.
    assert_eq!(
        mr(&mut e, "int4multirange(int4range(1,5),int4range(3,3))"),
        "{[1,5)}"
    );
    assert_eq!(
        mr(&mut e, "nummultirange(numrange(1,5),numrange(4,8))"),
        "{[1,8)}"
    );
}