How to use: 1 Select a problem → 2 Write or load a student query → 3 Click ▶ Analyze Query → 4 Explore tabs 2–6 for detailed results
Base Query (Reference)
Read-only
Student Query
Editable
📋
Run analysis on the Editor tab to see detailed feedback.
Abstract Syntax Tree Comparison
🌳
Run analysis first.
Provenance Trace
🔍
Run analysis first.
Edge Case Analysis
⚡
Run analysis first.
Database Schema
Sample Data
Detected Misconceptions
🧠
Run analysis first.
SQL Query Feedback System
A PhD-level research prototype for automated SQL query evaluation & feedback generation.
Developed by Mohammad Arifur Rahman
Submitted to Dr. Hasan Jamil, Department of Computer Science, University of Idaho
System Overview Combines real SQL execution (SQLite), AST-based structural comparison, provenance tracing (I-REX / RATest), edge-case testing (5 specialized databases), and misconception detection to deliver rich, actionable feedback — with special focus on relational division.
Pipeline Architecture
① Parse
SQL → AST
Validate
→
② Diff
AST compare
Structure
→
③ Execute
Real SQLite
Results
→
④ Provenance
Trace lineage
Divergence
→
⑤ Edge Cases
5 test DBs
Coverage
→
⑥ Feedback
Grade + Report
Suggest
vs. Related Work
FeatureRATest '19I-REX '20CaJaDE '22This System
Real SQL execution✓✓✓✓
Small counterexamples✓✓—✓
Division query focus———✓
Edge case library———✓
Graded feedback———✓
Misconception detection———✓
Context-augmented prov.——✓Planned
📘 SQL Query Feedback System — PhD Research Prototype Developed by Mohammad Arifur Rahman  |  Submitted to Dr. Hasan Jamil, University of Idaho