SQLess: Dialect-Agnostic SQL Query Simplification
Read the paper · doi:10.1145/3650212.3680317
What this paper does with SQLancer
SQLancer is the example of the problem SQLess addresses: it is named among the tools that integrate query simplification into their workflow only simplistically, deleting whole clauses, and its equivalent-query construction is what produces the long queries that then need reducing.
SQLess simplifies bug-triggering SQL queries. The authors note that to reach deep bugs most testing techniques generate long, complex queries, leaving developers to debug them. Unlike previous simplifiers that depend on DBMS-specific grammar, SQLess uses an adaptive parser with error recovery and grammar expansion to handle different dialects, and performs semantics-sensitive trimming using alias and dependency analysis so the query still triggers the bug. On over 32,000 complex queries across six DBMSs it achieved an average simplification rate of 72.45%.
How it was classified
uses infrastructure — no
SQLancer is cited, not used; nothing in the mentions describes reusing its code.
extends technique — no
No technique is extended; the citation is background.
compares with — no
No empirical comparison against SQLancer is reported in the mentions.
describes as state of the art — no
The citation does not characterise SQLancer as the state of the art.
SQLancer publications it cites (2)
Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.
| # | Entry | Matched as |
|---|---|---|
| 29 | Manuel Rigger. 2023. SQLancer. https://github.com/sqlancer/sqlancer. [Online; accessed 23-Nov-2023]. | sqlancer publication |
| 30 | Manuel Rigger and Zhendong Su. 2020. Finding bugs in database systems via query partitioning. Proceedings of the ACM on Programming Languages 4, OOPSLA (2020), 1–30. | sqlancer publication · TLP |
Every place it refers to SQLancer (7)
7 sentences, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.
| Id | Sentence | Found by | Where |
|---|---|---|---|
| M1 | Existing studies [ 7,11,29,31] on database bug detection merely integrate SQL query simplification into their workflows in a simplistic manner. |
citation marker |
1 Introduction page 1 |
| M2 | For instance, in a query like "SELECT c1, c2 from t 743 ISSTA ’24, September 16–20, 2024, Vienna, Austria Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, and Gang Fan Table 1: Comparison of SQL query simplification tools Simplification Strategy Correctness Guarantee Extensibility Bug type Tool Expres... |
name |
1 Introduction page 1 |
| M3 | Expression simplification and clause simplification [ 7,29,31] are relatively easy to implement, but the scope for simplification is limited. |
citation marker |
2.2 Challenges of SQL Query Simplification page 3 |
| M4 | As illustrated in Table 1, existing tools primarily deploy two approaches: •ClauseDelete: Tools such as SQLancer [29],RAGS [31], and PINOLO [7] employ a strategy of randomly deleting clauses from SQL queries. |
name |
5.1.2 Metrics. We use two metrics to assess SQLess: simplification page 8 |
| M5 | They typically suffer from a dilemma that the malformed, complex, and lengthy queries are more likely to trigger bugs but are less likely to 752 SQLess: Dialect-Agnostic SQL Query Simplification ISSTA ’24, September 16–20, 2024, Vienna, Austria be accepted by DBMS developers, which is highlighted by many prior studi... |
citation marker |
5.4 Ablation Study page 10 |
| M6 | Nevertheless, existing work has adapted the principles of Delta Debugging to simplify complex SQL queries that lead to certain behaviors, such as incorrect result sets or performance issues [ 7,11,27,29,31]. |
citation marker |
7 Related Work page 11 |
| M7 | For instance, SQLancer [ 29] constructs equivalent queries to ensure consistent results. |
name |
7 Related Work page 11 |