| 787 |
Cypher: An Evolving Query Language for Property Graphs |
2018 |
SIGMOD |
0.00016624372 |
| 973 |
Natural language to SQL: Where are we today? |
2020 |
VLDB |
0.0001488435 |
| 2,097 |
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries |
2018 |
VLDB |
9.5439744e-05 |
| 2,325 |
DBPal: A Fully Pluggable NL2SQL Training Pipeline |
2020 |
SIGMOD |
9.0277894e-05 |
| 2,595 |
WeTune: Automatic Discovery and Verification of Query Rewrite Rules |
2022 |
SIGMOD |
8.4725961e-05 |
| 2,914 |
Quantifying TPC-H Choke Points and Their Optimizations |
2020 |
VLDB |
7.9197583e-05 |
| 3,430 |
Demonstration of the Cosette Automated SQL Prover |
2017 |
SIGMOD |
7.0985442e-05 |
| 3,610 |
EVA: A Symbolic Approach to Accelerating Exploratory Video Analytics with Materialized Views |
2022 |
SIGMOD |
6.919859e-05 |
| 3,903 |
Automated Verification of Query Equivalence Using Satisfiability Modulo Theories |
2019 |
VLDB |
6.6439695e-05 |
| 4,150 |
A Formal Semantics of SQL Queries, Its Validation, and Applications |
2018 |
VLDB |
6.4022639e-05 |
| 4,385 |
Proving Query Equivalence Using Linear Integer Arithmetic |
2023 |
SIGMOD |
6.2247394e-05 |
| 4,661 |
Efficient Answering of Historical What-if Queries |
2022 |
SIGMOD |
6.0069281e-05 |
| 4,982 |
Interactive Query Synthesis from Input-Output Examples |
2017 |
SIGMOD |
5.7817493e-05 |
| 5,743 |
Explaining Wrong Queries Using Small Examples |
2019 |
SIGMOD |
5.3432106e-05 |
| 7,030 |
R-Bot: An LLM-based Query Rewrite System |
2025 |
VLDB |
4.8518029e-05 |
| 7,137 |
Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency |
2025 |
SIGMOD |
4.8165495e-05 |
| 7,278 |
Sia: Optimizing Queries using Learned Predicates |
2021 |
SIGMOD |
4.7720613e-05 |
| 7,338 |
Optimizing Recursive Queries with Program Synthesis |
2022 |
SIGMOD |
4.7531793e-05 |
| 8,071 |
Updating Graph Databases with Cypher |
2019 |
VLDB |
4.5890643e-05 |
| 8,339 |
SlabCity: Whole-Query Optimization using Program Synthesis |
2023 |
VLDB |
4.5383933e-05 |
| 8,958 |
Understanding Queries by Conditional Instances |
2022 |
SIGMOD |
4.417947e-05 |
| 9,416 |
Leveraging Application Data Constraints to Optimize Database-Backed Web Applications |
2023 |
VLDB |
4.3399748e-05 |
| 9,623 |
Qr-Hint: Actionable Hints Towards Correcting Wrong SQL Queries |
2024 |
SIGMOD |
4.3120302e-05 |
| 9,818 |
Generating Application-Specific Data Layouts for In-memory Databases |
2019 |
VLDB |
4.2733415e-05 |
| 9,992 |
Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! |
2026 |
CIDR |
4.1905499e-05 |
| 10,577 |
QOVIS: Understanding and Diagnosing Query Optimizer via a Visualization-assisted Approach |
2025 |
VLDB |
4.1905499e-05 |
| 10,768 |
ParSEval: Plan-aware Test Database Generation for SQL Equivalence Evaluation |
2025 |
VLDB |
4.1905499e-05 |
| 10,784 |
GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB |
2025 |
VLDB |
4.1905499e-05 |
| 10,921 |
TypeQL: A Type-Theoretic & Polymorphic Query Language |
2024 |
PODS |
4.1905499e-05 |
| 11,123 |
Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries |
2024 |
VLDB |
4.1905499e-05 |
| 11,302 |
Towards Auto-Generated Data Systems |
2023 |
VLDB |
4.1905499e-05 |
| 11,671 |
RATest: Explaining Wrong Relational Queries Using Small Examples |
2019 |
SIGMOD |
4.1905499e-05 |