Minigraf documentation

Minigraf is a tiny, portable bi-temporal graph database with Datalog queries: embedded, single-file, with time travel. These docs cover every release from v2.0.0 on. Pick a version at the top of the page; What changed compares two versions.

Tutorials#

A step-by-step introduction to Minigraf's Datalog dialect, driven by a real-world e-commerce storyline. Each section builds on the last.

• Setup — Install Minigraf and load the Corestore dataset
• 1. Basic transact + query
• 2. :as-of — time travel by transaction time
• 3. :valid-at and :any-valid-time — time travel by valid time
• 4. Recursive rules
• 5. Negation — not and not-join
• 6. Aggregates, :with, and window functions
• 7. Expression clauses and predicates
• 8. Prepared queries with bind slots
• 9. Disjunction — or and or-join
• 10. User-defined functions
• 11. Marketplace — multi-seller queries

Cookbook#

Problem-oriented recipes for common Minigraf patterns. Each recipe is self-contained: a one-line problem statement, the Datalog (or Rust API where needed), and brief notes.

• Graph Traversal Patterns — neighbors, transitive closure, reachability, leaf detection, degree, property graphs, edge reification
• Audit and Time-Travel Idioms — point-in-time, time-interval, time-point lookup, and time-interval lookup across both time axes
• Bitemporal Modeling — bounded facts, retroactive corrections, future-dating, overlapping periods, lifecycle end
• Application Workflow Patterns — agent memory, offline-first state, task DAGs, GraphRAG, multi-tenant fleet patterns

Pages#

• Datalog Reference — Complete syntax reference: facts, queries, recursive rules, bi-temporal operators, value types, and the EDN command syntax
• Time travel visualizer — Browser app that draws a database's history over transaction time and valid time. Cookbook recipes and tutorial sections link to it with their data already loaded.

• Architecture — Module structure, EAV data model, file format (v7), WAL layout, storage internals, and cross-platform workspace crates

• Use Cases — Detailed guides for the three primary deployment targets: AI agents, mobile apps, and WASM/browser
• Comparison — Side-by-side comparison with XTDB, Cozo, Datomic, GraphLite, petgraph, IndraDB, SurrealDB, and time-series databases; temporal vs. time-series explainer
• Learning Resources — Curated links for Datalog, temporal databases, and SQLite internals
• Performance Tuning — cost model, configuration knobs, query patterns, and benchmark reference

Packages#

Quick links#

• Repository
• README
• ROADMAP.md
• BENCHMARKS.md
• PHILOSOPHY.md
• CONTRIBUTING.md
• Time travel visualizer — See Minigraf's bi-temporal history in your browser
• Demo: Temporal Reasoning — Working AI agent using Minigraf's bi-temporal model