Chris Biscardi: Fauna is built as a globally distributed, serverless, cloud database management system of modern applications, like those on the JAMstack. What this means is that FaunaDB is a document store, with a lambda calculus based query language called FQL, and native GraphQL support. It is similar to Spanner, and inspired by Calvin.
Both of which have papers written about them, that have been cited hundreds of times. I have put links to both papers in the description. However, getting started with FaunaDB is easier than it sounds. You won't have to read the papers or take a course in lambda calculus to get it up and running quickly.
Practically, what this means is you can quickly spin up a new database, offload operations to the Fauna team, describe databases using the built-in GraphQL support, and access your content from anywhere around the world quickly without sacrificing correctness constraints.
FaunaDB is multi-tenant by default, which means it supports nested databases. It operates as a multi-cloud service that crosses AWS and GCP in multiple global regions. All of this is done for you, without having to give up transactions.
Note that if you haven't seen a Jepsen report before, one of the best outcomes is that the Jepsen report finds issues, and then the company acknowledges and also solves them. Note that depending on how you use FaunaDB, you can achieve snapshot isolation levels of consistency or serializable.
That puts FaunaDB somewhere between snapshot isolation and strictly serializable on this chart of consistency models.