PostgreSQL

FSMs as a core data primitive are going to get more popular. Combined with a runtime library for your preferred language, and you have a way to formally verify statements about business logic in your system.

FSMs as a core data primitive are going to get more popular. Combined with a runtime library for your preferred language, and you have a way to formally verify statements about business logic in your system. 

https://raphael.medaer.me/2019/06/12/pgfsm.html

Building @warpcast and @farcaster. Previously Coinbase, Brigade, Causes.