Calvin is a research database, described in a paper and also provided as an open source project, but last I checked, it was pure research, not usable for real w

Calvin is a research database, described in a paper and also provided as an open source project, but last I checked, it was pure research, not usable for real work. The "production version" of Calvin is arguably FaunaDB, which is a hosted SaaS product. Abadi is a very well known and, as far as I know, respected database researcher. No need to avoid his work.