| 789 |
Cypher: An Evolving Query Language for Property Graphs |
2018 |
SIGMOD |
0.00016634256 |
| 984 |
Natural language to SQL: Where are we today? |
2020 |
VLDB |
0.00014857465 |
| 2,099 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
9.5479391e-05 |
| 2,321 |
DBPal: A Fully Pluggable NL2SQL Training Pipeline |
2020 |
SIGMOD |
9.03609e-05 |
| 2,596 |
WeTune: Automatic Discovery and Verification of Query Rewrite Rules |
2022 |
SIGMOD |
8.4729982e-05 |
| 2,916 |
Quantifying TPC-H Choke Points and Their Optimizations |
2020 |
VLDB |
7.9068048e-05 |
| 3,432 |
Demonstration of the Cosette Automated SQL Prover |
2017 |
SIGMOD |
7.1008151e-05 |
| 3,606 |
EVA: A Symbolic Approach to Accelerating Exploratory Video Analytics with Materialized Views |
2022 |
SIGMOD |
6.9260354e-05 |
| 3,901 |
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories |
2019 |
VLDB |
6.6499845e-05 |
| 4,148 |
A Formal Semantics of SQL Queries, Its Validation, and Applications |
2018 |
VLDB |
6.4079361e-05 |
| 4,388 |
Proving Query Equivalence Using Linear Integer Arithmetic |
2023 |
SIGMOD |
6.2303078e-05 |
| 4,664 |
Efficient Answering of Historical What-if Queries |
2022 |
SIGMOD |
6.0127053e-05 |
| 4,980 |
Interactive Query Synthesis from Input-Output Examples |
2017 |
SIGMOD |
5.7873101e-05 |
| 5,733 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3483446e-05 |
| 7,035 |
R-Bot: An LLM-based Query Rewrite System |
2025 |
VLDB |
4.8548467e-05 |
| 7,139 |
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency |
2025 |
SIGMOD |
4.821174e-05 |
| 7,283 |
Sia: Optimizing Queries using Learned Predicates |
2021 |
SIGMOD |
4.7764688e-05 |
| 7,342 |
Optimizing Recursive Queries with Program Synthesis |
2022 |
SIGMOD |
4.7576316e-05 |
| 8,068 |
Updating Graph Databases with Cypher |
2019 |
VLDB |
4.5934689e-05 |
| 8,345 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5426916e-05 |
| 8,954 |
Understanding Queries by Conditional Instances |
2022 |
SIGMOD |
4.4221863e-05 |
| 9,410 |
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications |
2023 |
VLDB |
4.3441378e-05 |
| 9,623 |
Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries |
2024 |
SIGMOD |
4.3161663e-05 |
| 9,819 |
Generating Application-Specific Data Layouts for In-memory Databases |
2019 |
VLDB |
4.2774401e-05 |
| 9,993 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1945683e-05 |
| 10,568 |
QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach |
2025 |
VLDB |
4.1945683e-05 |
| 10,762 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1945683e-05 |
| 10,778 |
GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB |
2025 |
VLDB |
4.1945683e-05 |
| 10,917 |
TypeQL: A Type-Theoretic & Polymorphic Query Language |
2024 |
PODS |
4.1945683e-05 |
| 11,120 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1945683e-05 |
| 11,300 |
Towards Auto-Generated Data Systems |
2023 |
VLDB |
4.1945683e-05 |
| 11,666 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1945683e-05 |