Datalevin

Datalevin is a Datalog DBMS written in Clojure. It started out as a port of Datascript using LMDB.

Data Model

Document / XML

Query Interface

Datalog

System Architecture

Shared-Everything