FoundationDB is an open source transactional key value store created more than ten years
ago. It is one of the first systems to combine the flexibility and scalability of NoSQL …

Modern databases embrace weak isolation levels to cater for highly available transactions.
However, weak isolation bugs have recently manifested in many production databases. This …

Transactions are used to maintain the data integrity of databases, and have become an
indispensable feature in modern Database Management Systems (DBMSs). Despite …

Database Management Systems (DBMSs) utilize transactions to ensure the consistency and
integrity of data. Incorrect transaction implementations in DBMSs can lead to severe …

Transactions are used to guarantee data consistency and integrity in Database
Management Systems (DBMSs), and have become an indispensable component in DBMSs …

Transactional isolation is critical to the functional correctness of database management
systems (DBMSs). Much effort has recently been devoted to finding isolation bugs and …

Our extensive experiments reveal that existing key-value stores (KVSs) achieve high
performance at the expense of a huge memory footprint that is often impractical or …

Snapshot isolation (SI) is a prevalent weak isolation level that avoids the performance
penalty imposed by serializability and simultaneously prevents various undesired data …

Transactions are a key feature of database systems and isolation levels specify the behavior
of concurrently executing transactions. Ensuring their correct behavior is crucial. Recently …

Database Management Systems (DBMSs) process a given query by creating a query plan,
which is subsequently executed, to compute the query's result. Deriving an efficient query …