<!-- mobian-agent-page publisher="dailydev" canonical="https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n" -->

---
title: Jepsen: Datomic Pro 1.0.7075 | daily.dev
description: Datomic Pro is a general-purpose database with a temporal model that represents the state of the database at any instant in time. It offers two flavors,...
canonical: https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n
twitter:card: summary_large_image
twitter:site: @dailydotdev
og:type: website
og:site_name: daily.dev
og:title: Jepsen: Datomic Pro 1.0.7075 | daily.dev
og:description: Datomic Pro is a general-purpose database with a temporal model that represents the state of the database at any instant in time. It offers two flavors,...
og:url: https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n
og:image: https://api.daily.dev/og/posts/R8Onw5s2n.png
og:image:alt: Jepsen: Datomic Pro 1.0.7075
og:image:width: 1200
og:image:height: 630
og:locale: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# Jepsen: Datomic Pro 1.0.7075

**[Lobsters](https://daily.dev/sources/lobsters)** · 31 min read · 0 upvotes · 0 comments

## Summary

Datomic Pro is a general-purpose database with a temporal model that represents the state of the database at any instant in time. It offers two flavors, Datomic Pro and Datomic Cloud, with slightly different architectures. Datomic Pro comprises transactors, peers, and clients that work together to handle write transactions, execute read queries, and maintain the database's state. Transaction functions in Datomic execute concurrently within a transaction and observe the initial state of the database, allowing users to perform atomic read-modify-update processing. However, combining multiple transaction functions in a single transaction can violate invariants. Datomic provides entity predicates and entity specs to enforce constraints on the database's integrity. Datomic's transaction semantics differ from traditional databases, but its inter-transaction consistency is strong.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://jepsen.io/analyses/datomic-pro-1.0.7075>

## Similar posts on daily.dev

- [Don’t just attend KubeCon \+ CloudNativeCon, Merge Forward your experience\!](https://daily.dev/posts/don-t-just-attend-kubecon-cloudnativecon-merge-forward-your-experience--l0rpp73x8) · CNCF · 1 upvotes · 0 comments
- [Announcing H2 2026 KCDs](https://daily.dev/posts/announcing-h2-2026-kcds-m96goajm1) · CNCF · 1 upvotes · 0 comments
- [Two months of Open Community Groups](https://daily.dev/posts/two-months-of-open-community-groups-asf52zhbs) · CNCF · 0 upvotes · 0 comments
- [CNCF Unveils Schedule for KubeCon \+ CloudNativeCon Europe 2026](https://daily.dev/posts/cncf-unveils-schedule-for-kubecon-cloudnativecon-europe-2026-ikhcoa5cb) · CNCF · 2 upvotes · 0 comments
- [CNCF Debuts KubeCon \+ CloudNativeCon Japan 2026 Schedule](https://daily.dev/posts/cncf-debuts-kubecon-cloudnativecon-japan-2026-schedule-xp5pyudub) · CNCF · 1 upvotes · 0 comments

---

Tags: [#database](https://daily.dev/tags/database)

[View this post on daily.dev](https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n)

```json
{"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]}
{"@context":"https://schema.org","@type":"TechArticle","headline":"Jepsen: Datomic Pro 1.0.7075","url":"https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n"},"datePublished":"2024-05-15T17:58:38.105Z","dateModified":"2024-05-15T17:58:36.971Z","description":"Datomic Pro is a general-purpose database with a temporal model that represents the state of the database at any instant in time. It offers two flavors,...","image":"https://media.daily.dev/image/upload/s--HRgLpUt6--/f_auto/v1722860399/public/Placeholder%2003","thumbnailUrl":"https://media.daily.dev/image/upload/s--HRgLpUt6--/f_auto/v1722860399/public/Placeholder%2003","isAccessibleForFree":true,"articleSection":"Lobsters","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Lobsters","logo":"https://media.daily.dev/image/upload/s--tl8v_Fku--/f_auto,t_logo/v1698841318/logos/lobste.jpg","url":"https://daily.dev/sources/lobsters"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/jepsen-datomic-pro-1-0-7075-r8onw5s2n","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"database","timeRequired":"PT31M"}
{"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Lobsters","item":"https://daily.dev/sources/lobsters"},{"@type":"ListItem","position":3,"name":"Jepsen: Datomic Pro 1.0.7075"}]}
```

