SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Dynamic voting algorithms for maintaining the consistency of a replicated database
ACM Transactions on Database Systems (TODS)
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Hi-index | 0.00 |