Analyzing Concurrency Control Algorithms When User and System Operations Differ | IEEE Journals & Magazine | IEEE Xplore