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

//! SQL-standard (S1, E1) OVERLAPS (S2, E2) — least/greatest
//! normalisation + start1 < end2 AND start2 < end1 lowering.

use spg_engine::{Engine, QueryResult};

fn survives(e: &mut Engine, cond: &str) -> bool {
    let sql = format!("SELECT 1 WHERE {cond}");
    let r = e
        .execute(&sql)
        .unwrap_or_else(|err| panic!("{sql}: {err:?}"));
    let QueryResult::Rows { rows, .. } = r else {
        panic!("expected Rows");
    };
    !rows.is_empty()
}

#[test]
fn date_periods() {
    let mut e = Engine::new();
    assert!(survives(
        &mut e,
        "(DATE '2024-01-01', DATE '2024-06-01') OVERLAPS (DATE '2024-03-01', DATE '2024-09-01')"
    ));
    // Disjoint periods.
    assert!(!survives(
        &mut e,
        "(DATE '2024-01-01', DATE '2024-02-01') OVERLAPS (DATE '2024-03-01', DATE '2024-04-01')"
    ));
    // Touching endpoints do NOT overlap (half-open periods, PG doc
    // example: shared single point only at the boundary).
    assert!(!survives(
        &mut e,
        "(DATE '2024-01-01', DATE '2024-03-01') OVERLAPS (DATE '2024-03-01', DATE '2024-05-01')"
    ));
}

#[test]
fn endpoint_order_and_row_keyword() {
    let mut e = Engine::new();
    // PG accepts the pair in either order — normalised internally.
    assert!(survives(
        &mut e,
        "(DATE '2024-06-01', DATE '2024-01-01') OVERLAPS (DATE '2024-03-01', DATE '2024-09-01')"
    ));
    // ROW keyword spelling on both sides.
    assert!(survives(
        &mut e,
        "ROW(DATE '2024-01-01', DATE '2024-06-01') OVERLAPS ROW(DATE '2024-03-01', DATE '2024-09-01')"
    ));
    // Plain numbers work too (same lowering).
    assert!(survives(&mut e, "(1, 5) OVERLAPS (4, 9)"));
    assert!(!survives(&mut e, "(1, 4) OVERLAPS (4, 9)"));
    // Arity errors.
    assert!(
        e.execute("SELECT 1 WHERE (1, 2, 3) OVERLAPS (4, 5)")
            .is_err()
    );
}