Ying-Ying Zheng

Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction

Relational Database Management Systems (DBMSs) serve as foundational systems for data storage and management, supporting a rich variety of data types to specify storage formats and value ranges. These data types play a critical role in both data storage and computation. However, complex data computation operations (e.g...