pg_mentat

Datomic-compatible data model and Datalog query engine inside PostgreSQL

Overview

PackageVersionCategoryLicenseLanguage
pg_mentat1.5.7FEATApache-2.0Rust
IDExtensionBinLibLoadCreateTrustRelocSchema
2980pg_mentatNoYesNoYesNoNomentat
Relatedpg_fts pg_tre pg_infer rum pg_trgm fuzzystrmatch vector postgis

The PIGSTY package omits optional mentatd and installs no user-facing binary; listed integrations are soft dependencies. Effective build uses pgrx 0.19.1, migrated from upstream 0.17.0.

Version

TypeRepoVersionPG VerPackageDeps
EXTPIGSTY1.5.71817161514pg_mentat-
RPMPIGSTY1.5.71817161514pg_mentat_$v-
DEBPIGSTY1.5.71817161514postgresql-$v-pg-mentat-
OS / PGPG18PG17PG16PG15PG14
el8.x86_64
el8.aarch64
el9.x86_64
el9.aarch64
el10.x86_64
el10.aarch64
d12.x86_64
d12.aarch64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
d13.x86_64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
d13.aarch64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
u22.x86_64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
u22.aarch64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
u24.x86_64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
u24.aarch64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
u26.x86_64
u26.aarch64
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7
PIGSTY 1.5.7

Build

You can build the RPM / DEB packages for pg_mentat using pig build:

pig build pkg pg_mentat         # build RPM / DEB packages

Install

You can install pg_mentat directly. First, make sure the PGDG and PIGSTY repositories are added and enabled:

pig repo add pgsql -u          # Add repo and update cache

Install the extension using pig or apt/yum/dnf:

pig install pg_mentat;          # Install for current active PG version
pig ext install -y pg_mentat -v 18  # PG 18
pig ext install -y pg_mentat -v 17  # PG 17
pig ext install -y pg_mentat -v 16  # PG 16
pig ext install -y pg_mentat -v 15  # PG 15
pig ext install -y pg_mentat -v 14  # PG 14
dnf install -y pg_mentat_18       # PG 18
dnf install -y pg_mentat_17       # PG 17
dnf install -y pg_mentat_16       # PG 16
dnf install -y pg_mentat_15       # PG 15
dnf install -y pg_mentat_14       # PG 14
apt install -y postgresql-18-pg-mentat   # PG 18
apt install -y postgresql-17-pg-mentat   # PG 17
apt install -y postgresql-16-pg-mentat   # PG 16
apt install -y postgresql-15-pg-mentat   # PG 15
apt install -y postgresql-14-pg-mentat   # PG 14

Create Extension:

CREATE EXTENSION pg_mentat;

Usage

Sources:

pg_mentat implements a Datomic-compatible data model and Datalog query engine inside PostgreSQL. It stores immutable facts as typed datoms and exposes schema transactions, Datalog queries, pull expressions, time travel, transaction history, and permanent excision through SQL functions. Use it for applications that need this model; it is not a transparent replacement for relational tables or SQL.

Install and Define a Schema

CREATE EXTENSION pg_mentat;

SELECT mentat.t('[
  {:db/ident       :person/name
   :db/valueType   :db.type/string
   :db/cardinality :db.cardinality/one}
  {:db/ident       :person/age
   :db/valueType   :db.type/long
   :db/cardinality :db.cardinality/one}
]');

The recommended convenience aliases live in schema mentat. Schema must be transacted before facts use the new attributes.

Transact and Query Data

SELECT mentat.t('[
  {:person/name "Alice" :person/age 30}
  {:person/name "Bob"   :person/age 25}
]');

SELECT mentat.q('
  [:find ?name ?age
   :where [?e :person/name ?name]
          [?e :person/age ?age]
          [(> ?age 28)]]
');

mentat.t(edn) applies an ACID transaction and returns its transaction report. mentat.q(query, inputs) compiles a Datalog query to PostgreSQL execution. Use EDN parameters and input bindings rather than interpolating application strings into a query.

Pull, History, and What-If Transactions

SELECT mentat.pull('[*]', 10001);
SELECT mentat.log('default', 1000001, 1000010);
SELECT mentat.diff('default', 1000003, 1000007);

SELECT mentat.mentat_with('[
  {:person/name "Alice" :person/age 31}
]');

mentat.pull returns entity-shaped JSON. mentat.log and mentat.diff expose transaction history, and mentat.mentat_with evaluates a transaction without persisting it. Queries can also be evaluated as of or since a transaction by using the documented database arguments.

Permanent excision is intentionally separate from normal immutable history:

SELECT mentat.mentat_excise('default', 10042, NULL);

Review the target entity and backups before excision; it permanently removes datoms and is intended for requirements such as privacy erasure.

Important Objects

  • mentat.t(edn): transact schema or data.
  • mentat.q(query, inputs): execute Datalog.
  • mentat.pull(pattern, eid) and mentat.pull_many(pattern, eids): entity-shaped reads.
  • mentat.entity(eid) and mentat.schema(): inspect an entity or current schema.
  • mentat.log(...) and mentat.diff(...): inspect transaction history.
  • mentat.stats(), mentat.storage(), and mentat.cache_stats(): operational inspection.
  • mentat.subscribe(...): reactive query notifications through PostgreSQL LISTEN/NOTIFY.

The extension stores typed datoms in narrow tables under schema mentat, including reference, integer, string, boolean, floating-point, instant, keyword, UUID, and byte values.

Requirements and Caveats

  • Upstream v1.5.7 supports PostgreSQL 13-18. Current Pigsty packages target PostgreSQL 14-18 and are rebuilt with pgrx 0.19.1; upstream’s tagged source declares pgrx 0.17. Treat the packaged binary as the compatibility boundary.
  • The extension is not relocatable and does not require shared_preload_libraries.
  • The optional mentatd HTTP/Datomic-wire daemon is an upstream companion program and is not included in the Pigsty pg_mentat package. SQL use of the extension does not require it.
  • Datalog compilation, pull recursion, full-text attributes, subscriptions, and history can have very different cost profiles. Inspect generated SQL with the documented explain helper and benchmark representative data.
  • Excision bypasses the normal immutable-history model. Restrict privileges and audit its use.

Last Modified: 2026-08-09: update extension count (24575456)