Postgres-R(SI): combining replica control with concurrency control based on snapshot isolation | IEEE Conference Publication | IEEE Xplore