Learning Resources

Learning Resources

Minigraf Datalog Tutorial

• Tutorial Series — a hands-on, eleven-section walkthrough of Minigraf's Datalog dialect, driven by an e-commerce storyline (Corestore). Covers every language feature from basic transact/query through recursive rules, bi-temporal queries, negation, aggregation, window functions, prepared queries, disjunction, UDFs, and marketplace multi-entity scenarios.

Datalog — Further Reading

• Learn Datalog Today — interactive tutorial, browser-based exercises
• Datomic Query Tutorial — Datomic's Datalog dialect; most concepts transfer directly to Minigraf
• XTDB Datalog Queries — XTDB's Datalog reference; the temporal query semantics closely match Minigraf's

Temporal Databases

• Exploring Temporality in Databases — conceptual deep-dive into transaction time, valid time, bi-temporal models, and beyond; includes an interactive 3D visualisation of the bi-temporal state space
• Temporal Query Types — taxonomy of point-in-time, time-interval, time-point lookup, and time-interval lookup query classes; maps to Minigraf's :as-of, :valid-at, :any-valid-time, and (Phase 7) :db/valid-from/:db/valid-to pseudo-attributes
• Temporal Database — Wikipedia — overview of transaction time, valid time, and bi-temporal concepts
• XTDB Bitemporality — XTDB's explanation of bi-temporal data; the model Minigraf is most directly inspired by
• Datomic Time Model — Datomic's treatment of immutable history and time travel

SQLite Internals (storage inspiration)

• SQLite File Format — page-based storage format that inspired Minigraf's .graph format
• SQLite OS Interface (VFS) — SQLite's platform abstraction layer; analogous to Minigraf's StorageBackend trait