Consistency and Serializability in Concurrent Database Systems

@article{Rosenkrantz1984ConsistencyAS,
  title={Consistency and Serializability in Concurrent Database Systems},
  author={Daniel J. Rosenkrantz and Richard Edwin Stearns and Philip M. Lewis},
  journal={SIAM J. Comput.},
  year={1984},
  volume={13},
  pages={508-530}
}
The main results of this paper show that serialization is both necessary and sufficient for consistency in concurrent database systems. This is true for both the final database and the views of the database seen by individual transactions. The model of a transaction includes both read and write operations which may be performed in any order (except an entity must be read before being written).The main results are presented in terms of an information flow model describing the source of each… 

Figures from this paper