Browse Teach Curate

Clause-Mapping Differential Testing of Emerging SQL Databases

A technique for finding logic bugs and internal errors in emerging SQL-like database systems by using a mature relational database as a differential-testing reference oracle. It identifies clauses shared by the emerging and relational systems, extends coverage by mapping the emerging system's dedicated clauses back onto equivalent relational clauses, then generates semantically equivalent query pairs whose differing results reveal bugs.

V.I.K.I. Text

Enhanced Differential Testing in Emerging Database Systems Yuancheng Jiang, Jianing Wang, Chuqi

Emerging database systems (time-series, streaming, and other SQL-like engines) are less mature than relational databases and can harbor internal errors and silent logic bugs, but they lack a good tes…