33 citations · 56 across the 10 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2025
On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Concurrent accesses to databases are typically grouped in transactions which define units of work that should be isolated from other concurrent computations and resilient to failur…
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…