Database Consistency Models
arXiv:1804.00914 · doi:10.1007/978-3-319-63962-8\_203-1
Abstract
A data store allows application processes to put and get data from a shared memory. In general, a data store cannot be modelled as a strictly sequential process. Applications observe non-sequential behaviours, called anomalies. The set of pos- sible behaviours, and conversely of possible anomalies, constitutes the consistency model of the data store.