OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

OSDI '23 - Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction

Zu-Ming Jiang, ETH Zurich, Si Liu, ETH Zurich, Manuel Rigger, National University of Singapore, Zhendong Su, ETH Zurich

Transactions are an important feature of database management systems (DBMSs), as they provide the ACID guarantees for a sequence of database operations. Consequently, approaches have been proposed to automatically find transactional bugs in DBMSs. However, they cannot handle complex operations and predicates common in real-world database queries, and thus …

bugs construction database database management eth feature graph important management management systems national oracle singapore systems transactions university zurich