Checkpointing schemes for fast restart in main memory database systems | IEEE Conference Publication | IEEE Xplore