Checkpointing memory-resident databases | IEEE Conference Publication | IEEE Xplore