Imagen de Portada

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	He, Yang, Zhao, Pinhan, Wang, Xinyu, Wang, Yuepeng
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages Databases
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
por: Zhao, Pinhan, et al.
Publicado: (2025)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
por: Tremante, Andrew, et al.
Publicado: (2026)

Synthesizing Document Database Queries using Collection Abstractions
por: Liu, Qikang, et al.
Publicado: (2024)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
por: Klopfenstein, Rocky, et al.
Publicado: (2025)

LLM-SQL-Solver: Can LLMs Determine SQL Equivalence?
por: Zhao, Fuheng, et al.
Publicado: (2023)

MCTS-SQL: Light-Weight LLMs can Master the Text-to-SQL through Monte Carlo Tree Search
por: Yuan, Shuozhi, et al.
Publicado: (2025)

Graph-Reward-SQL: Execution-Free Reinforcement Learning for Text-to-SQL via Graph Matching and Stepwise Reward
por: Weng, Han, et al.
Publicado: (2025)

Adaptive Recursive Query Optimization
por: Herlihy, Anna, et al.
Publicado: (2023)

Querying Graph-Relational Data
por: Sullivan, Michael J., et al.
Publicado: (2025)

Raqlet: Cross-Paradigm Compilation for Recursive Queries
por: Shaikhha, Amir, et al.
Publicado: (2025)

Vbox: Efficient Black-Box Serializability Verification
por: Sun, Weihua, et al.
Publicado: (2025)

Galley: Modern Query Optimization for Sparse Tensor Programs
por: Deeds, Kyle, et al.
Publicado: (2024)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
por: Pourreza, Mohammadreza, et al.
Publicado: (2025)

CUBES: A Parallel Synthesizer for SQL Using Examples
por: Brancas, Ricardo, et al.
Publicado: (2022)

TailorSQL: An NL2SQL System Tailored to Your Query Workload
por: Vaidya, Kapil, et al.
Publicado: (2025)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
por: Roberson, Richard, et al.
Publicado: (2024)

SQL-Exchange: Transforming SQL Queries Across Domains
por: Daviran, Mohammadreza, et al.
Publicado: (2025)

Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
por: Liu, Yanhong A., et al.
Publicado: (2025)

Graphiti: Bridging Graph and Relational Database Queries
por: He, Yang, et al.
Publicado: (2025)

Validation of Modern JSON Schema: Formalization and Complexity
por: Attouche, Lyes, et al.
Publicado: (2023)

VeriMinder: Mitigating Analytical Vulnerabilities in NL2SQL
por: Mohole, Shubham, et al.
Publicado: (2025)

Bonsai: Compiling Queries to Pruned Tree Traversals
por: Root, Alexander J, et al.
Publicado: (2025)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
por: Deng, Wenjing, et al.
Publicado: (2024)

E3-Rewrite: Learning to Rewrite SQL for Executability, Equivalence,and Efficiency
por: Xu, Dongjie, et al.
Publicado: (2025)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
por: Geng, Chujun, et al.
Publicado: (2024)

An Extensive Study on Text Serialization Formats and Methods
por: Wei, Wang, et al.
Publicado: (2025)

Schema-Aware Multi-Task Learning for Complex Text-to-SQL
por: Wu, Yangjun, et al.
Publicado: (2024)

Query Carefully: Detecting the Unanswerables in Text-to-SQL Tasks
por: Saxer, Jasmin, et al.
Publicado: (2025)

Semantic foundations of equality saturation
por: Suciu, Dan, et al.
Publicado: (2025)

EllieSQL: Cost-Efficient Text-to-SQL with Complexity-Aware Routing
por: Zhu, Yizhang, et al.
Publicado: (2025)

Anatomy of a Query: W5H Dimensions and FAR Patterns for Text-to-SQL Evaluation
por: Hertzberg, Vicki Stover, et al.
Publicado: (2026)

Grounding Natural Language to SQL Translation with Data-Based Self-Explanations
por: Fan, Yuankai, et al.
Publicado: (2024)

FlowLog: Efficient and Extensible Datalog via Incrementality
por: Zhao, Hangdong, et al.
Publicado: (2025)

The Free Termination Property of Queries Over Time
por: Power, Conor, et al.
Publicado: (2025)

OmniSQL: Synthesizing High-quality Text-to-SQL Data at Scale
por: Li, Haoyang, et al.
Publicado: (2025)

Agentar-Scale-SQL: Advancing Text-to-SQL through Orchestrated Test-Time Scaling
por: Wang, Pengfei, et al.
Publicado: (2025)

EGREFINE: An Execution-Grounded Optimization Framework for Text-to-SQL Schema Refinement
por: Wang, Jiaqian, et al.
Publicado: (2026)

Auto-Formula: Recommend Formulas in Spreadsheets using Contrastive Learning for Table Representations
por: Chen, Sibei, et al.
Publicado: (2024)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
por: Xie, Xudong, et al.
Publicado: (2026)