Post-crash log processing for fuzzy checkpointing main memory databases | IEEE Conference Publication | IEEE Xplore