History[06][07]

Early March 2012, the Relevance team (later joined with Metadata to form Cognitect) around Rich Hickey released Datomic, which they have started to work on since 2010.

To make better use of recent advancements in cloud computing, Datomic Cloud was release in early 2018, which is better tailored to AWS.

Compression[08]

Index trees contain "segments," arrays of records that are serialized and then compressed with zip. Compression allows more efficient caching and storage.

Concurrency Control

Datomic stores the entire history of transaction assertions and retractions, which

Data Model[09][08]

Datomic stores immutable facts as datoms over time. A datom follows the form of (entity, attribute, value, time). Although Datomic doesn't require a table schema that specifies attribute columns in advance, it requires to specify properties of individual attributes. This is called universal schema.

Foreign Keys[10]

Foreign keys can be defined using :db.type/ref attribute, but no foreign key constraints are enforced on them automatically. User needs to specify their own database functions to impose those constraints.

Indexes[08][11]

Datomic indexes are covering indexes. In other words, instead of storing reference to data in the index, Datomic directly reads data from index. The index trees are shallow, with at most 3 levels: root, directories and segment leaf. Datomic maintains four index trees with different sorting orders for efficient access of different queries.

Isolation Levels[12]

There is only one thread responsible for writing transactions, so transactions are always serializable.

Query Compilation

Query Interface[13]

Datomic's query interface is an extension from Datalog. The main difference is that Datalog systems usually have a global fact database and a set of rules, but Datomic Datalog could take multiple databases and sets of rules.

Storage Architecture

Storage Model[14][15]

Datomic treats storage as a service, which means that Datomic only provides the ways to access underlying storage, but doesn't provide the actual storage. Storage services could also be switched easily by simply changing the connection string.

Stored Procedures[16]

Stored procedures are represented as transaction functions in Datomic, which can be invoked during transaction processes.

System Architecture[14]

Views