A Brief Review on Leading Big Data Models
Modeling of multiversion concurrency control system using Event-B