Is this OSS?<p>> As part of our engineering process at Fauna, we have built a comprehensive suite of unit and property-based tests and as well as a sophisticated distributed testing framework that is capable of checking the behavior of FaunaDB in the presence of a wide combination of fault injections and operational changes, similar to Netflix’s Chaos Monkey.<p>What did you write your property testing framework in?
Interesting to see new DBs cropping up! I think there is much to improve over the choices popular today.<p>However, it's difficult to quickly grasp what makes Fauna unique. A comparison with e.g. CockroachDB would be nice!<p>A good example of doing this well is RethinkDB, that provided two comparisons with MongoDB (one biased, one unbiased).<p>1. Technical comparison (unbiased):<p><a href="https://rethinkdb.com/docs/comparison-tables/" rel="nofollow">https://rethinkdb.com/docs/comparison-tables/</a><p>2. Personal comparison (biased):<p><a href="https://rethinkdb.com/docs/rethinkdb-vs-mongodb/" rel="nofollow">https://rethinkdb.com/docs/rethinkdb-vs-mongodb/</a><p>Consul (not a DB though) also has these comparisons:<p><a href="https://www.consul.io/intro/vs/index.html" rel="nofollow">https://www.consul.io/intro/vs/index.html</a>
Jepsen is an important sanity check on marketing. Easy to say in collateral you are "strict" ACID -- Jepsen proves (or denies) those claims. Some fun reports over there <a href="http://jepsen.io/analyses" rel="nofollow">http://jepsen.io/analyses</a>
This whole space got really tough after Apple opensourced FoundationDB. It will take few years for higher level solutions that build on top of FoundatioDB to surface but after they do it will be really tough for the competitors.
How does fauna's consistency guarantees compare to coakroach, spanner and yugabyte? It is difficult to compare because different vendors use different terminology. For example spanner supports 'external consistency'. And Coakroach says it supports serializable as defined by ANSI. Is this the same as what Fauna calls strict serializable?
Here is a direct link to the analysis: <a href="https://storage.pardot.com/517431/114459/FaunaDB_Correctness_Report_042618.pdf" rel="nofollow">https://storage.pardot.com/517431/114459/FaunaDB_Correctness...</a>