Author:
Bernstein Arthur J.,Gerstl David S.,Lewis Philip M.
Subject
Hardware and Architecture,Information Systems,Software
Reference33 articles.
1. Consistency and orderability: semantics-based correctness criteria for databases;Agrawal;ACM Transactions on Database Systems,1993
2. Using formal methods to reason about semantic-based decomposition of transaction;Ammann,1995
3. Applying formal methods to semantic-based decomposition of transaction;Ammann;ACM Transactions on Database Systems,1997
4. Semantics-based concurrency control: beyond commutativity;Badrinath;ACM Transactions on Database Systems,1992
5. Design and performance of an assertional concurrency control;Bernstein,1998
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Discriminative Admission Control for Shared-everything Database under Mixed OLTP Workloads;2021 IEEE 37th International Conference on Data Engineering (ICDE);2021-04
2. Optimistic Transaction Processing in Deterministic Database;Journal of Computer Science and Technology;2020-03
3. SLOG;Proceedings of the VLDB Endowment;2019-07
4. Transaction Processing on Modern Hardware;Synthesis Lectures on Data Management;2019-03-08
5. QueCC;Proceedings of the 19th International Middleware Conference;2018-11-26