RapiLog: reducing system complexity through verification
Implementation techniques for main memory database systems