Differentially Testing Database Transactions for Fun and Profit
Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song, Wei Wang, Jun Wei, Dan Ye
Abstract
Database Management Systems (DBMSs) utilize transactions to ensure the consistency and integrity of data. Incorrect transaction implementations in DBMSs can lead to severe consequences, e.g., incorrect database states and query results. Therefore, it is critical to ensure the reliability of transaction implementations.
Topics & Concepts
Computer scienceDatabase transactionImplementationDatabaseTransaction processingConsistency (knowledge bases)Distributed transactionData consistencyData integrityDistributed databaseDatabase testingReliability (semiconductor)Database designDatabase schemaProgramming languagePower (physics)Artificial intelligencePhysicsQuantum mechanicsDistributed systems and fault toleranceAdvanced Database Systems and QueriesAdvanced Data Storage Technologies