9 citations · 25 across the 10 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2020★ 9 cited
Checking Causal Consistency of Distributed Databases
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani +2
The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency mode…
cs.DB2019
On the Complexity of Checking Transactional Consistency
Ranadeep Biswas, Constantin Enea
Transactions simplify concurrent programming by enabling computations on shared data that are isolated from other concurrent computations and are resilient to failures. Modern data…