Datomic is a unique OLTP database that offers non-interactive transactions and supports various query mechanisms. We evaluated Datomic Pro and found strong safety properties. While Datomic behaves as if operations were evaluated concurrently within a transaction, this may not align with widely accepted formalizations of Serializability, potentially leading to invariant violations. Datomic’s architecture includes transactors, peers, and thin clients, with transactions saved in a log and indices stored in a data store like Cassandra. Datomic’s transaction model separates read and write paths, with transactions returning database states pre and post-transaction. Datomic’s consistency guarantees ACID transactions and strong Serializability.
https://jepsen.io/analyses/datomic-pro-1.0.7075