Using State Machines to run Databases (www.citusdata.com)