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.

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

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 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