Datomic works, all queries have a time-basis and all results are strongly consistent, full stop. At a mile high view, it works like git. There is a central tran

Datomic works, all queries have a time-basis and all results are strongly consistent, full stop. At a mile high view, it works like git. There is a central transactor coordinating time, so inconsistent timestamps is not an issue. To deal with staleness, query nodes connect to the transactor and subscribe to the transaction log. If you send a query with a recent time-basis to a stale query node, it can block until it's caught up enough. The lag time is <10ms for query nodes in same data center as the transactor (and for web applications, normal server response times are already slower than 10ms) Datomic is not for Spanner-scale systems, it is an application database competitive with relational databases.