Model-Based Performance Optimization of Generalized Snapshot Isolation in Database System | IEEE Conference Publication | IEEE Xplore