selene-db-graph 1.2.0

In-memory property-graph storage core (ArcSwap + imbl CoW, label/typed indexes, write funnel) for selene-db.
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

use super::*;

fn mentions_one_of_graph_type() -> GraphTypeDef {
    // OneOf fixture per §A.4: a MENTIONS edge whose source enumerates
    // {Document, Comment} and target is the single Topic node type.
    GraphTypeDef {
        name: db_string("closed.mentions_one_of.graph"),
        node_types: vec![
            NodeTypeDef {
                name: db_string("closed.document"),
                key_labels: LabelSet::single(db_string("Document")),
                properties: Vec::new(),
                validation_mode: ValidationMode::Strict,
            },
            NodeTypeDef {
                name: db_string("closed.comment"),
                key_labels: LabelSet::single(db_string("Comment")),
                properties: Vec::new(),
                validation_mode: ValidationMode::Strict,
            },
            NodeTypeDef {
                name: db_string("closed.topic"),
                key_labels: LabelSet::single(db_string("Topic")),
                properties: Vec::new(),
                validation_mode: ValidationMode::Strict,
            },
        ],
        edge_types: vec![crate::EdgeTypeDef {
            name: db_string("closed.mentions"),
            label: db_string("MENTIONS"),
            source_node_type: EdgeEndpointDef::one_of([0, 1]),
            target_node_type: EdgeEndpointDef::NodeType(2),
            properties: Vec::new(),
            validation_mode: ValidationMode::Strict,
        }],
    }
}

#[test]
fn closed_graph_one_of_endpoint_accepts_either_declared_member() {
    // OneOf fixture coverage per §A.4: source enumerates {Document, Comment}
    // → topic, so MENTIONS edges from EITHER source kind must validate. The
    // matches_node_type membership lookup on OneOf is what makes both pass.
    let shared = SharedGraph::builder(GraphId::new(110))
        .bound_to(mentions_one_of_graph_type())
        .unwrap()
        .build()
        .unwrap();
    let mut txn = shared.begin_write();
    {
        let mut mutator = txn.mutator();
        let topic = mutator
            .create_node(LabelSet::single(db_string("Topic")), PropertyMap::new())
            .unwrap();
        let document = mutator
            .create_node(LabelSet::single(db_string("Document")), PropertyMap::new())
            .unwrap();
        let comment = mutator
            .create_node(LabelSet::single(db_string("Comment")), PropertyMap::new())
            .unwrap();
        mutator
            .create_edge(db_string("MENTIONS"), document, topic, PropertyMap::new())
            .unwrap();
        mutator
            .create_edge(db_string("MENTIONS"), comment, topic, PropertyMap::new())
            .unwrap();
    }
    txn.commit()
        .expect("OneOf endpoint accepts every declared candidate node type");
}

#[test]
fn closed_graph_one_of_endpoint_rejects_non_member_source() {
    // OneOf negative case: Topic is not in source set {Document, Comment}.
    let shared = SharedGraph::builder(GraphId::new(111))
        .bound_to(mentions_one_of_graph_type())
        .unwrap()
        .build()
        .unwrap();
    let mut txn = shared.begin_write();
    {
        let mut mutator = txn.mutator();
        let a = mutator
            .create_node(LabelSet::single(db_string("Topic")), PropertyMap::new())
            .unwrap();
        let b = mutator
            .create_node(LabelSet::single(db_string("Topic")), PropertyMap::new())
            .unwrap();
        mutator
            .create_edge(db_string("MENTIONS"), a, b, PropertyMap::new())
            .unwrap();
    }
    assert!(matches!(
        txn.commit().unwrap_err(),
        GraphError::TypeViolation(TypeViolation::EdgeEndpointTypeMismatch { .. })
    ));
}