FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Add per-site simplification to EET transformed query reduction by tlmorgan24 · Pull Request #1361 · sqlancer/sqlancer · GitHub

Add per-site simplification to EET transformed query reduction - #1361

Merged
mrigger merged 1 commit into
mainfrom
feature/query-reduction
Aug 24, 2026
Merged

Add per-site simplification to EET transformed query reduction#1361
mrigger merged 1 commit into
mainfrom
feature/query-reduction

Conversation

Copy link
Copy Markdown
Collaborator

The previous PR reduced EET's transformed queries by removing transformation sites. This adds a further reduction stage which simplifies the remaining sites. For example, CASE WHEN random_true_expression THEN expr ELSE random_expression END may be simplified to CASE WHEN TRUE THEN expr ELSE random_expression END, if the bug is still present in that simplified case.

This is currently applied only to the EET SELECT oracle, but will later be extended to DML.

…ng after minimisation of set of applied rule sites)
tlmorgan24 requested a review from mrigger August 22, 2026 02:16

mrigger left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

LGTM, thanks!

mrigger merged commit 9eb1db8 into main Aug 24, 2026
24 of 25 checks passed
mrigger deleted the feature/query-reduction branch August 24, 2026 05:14
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants


Back | FazBrowse Home | New Git URL