Description
Graph Federation: stores, typed transactions, semantic diff.
Structs§
- Commit
Record - Immutable semantic diff/provenance record for one commit.
- Committed
- Result of a successful atomic commit.
- Edge
- One validated graph edge.
- InMemory
Graph Store - Phase 0 backend. Commits clone a compact state and swap one
Arc, making atomicity and snapshot isolation obvious before optimization. - Node
- Immutable view of one node.
- Revision
- Monotonic revision of the federation, assigned at commit.
- Snapshot
- Immutable, cheap snapshot of all four graphs at one revision.
- Transaction
- A typed transaction over all four graphs.
Enums§
- Edge
Kind - Stable edge kinds understood by the kernel Graph Federation.
- Op
- One primitive mutation.
- Precondition
- A precondition checked atomically at commit time.
Traits§
- Graph
Store - Storage contract for the Graph Federation.