The correctness of concurrency control for multiversion database systems with limited number of versions | IEEE Conference Publication | IEEE Xplore