Imagen de Portada

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bouajjani, Ahmed, Enea, Constantin, Román-Calvo, Enrique
Formato:	Preprint
Publicado:	2025
Materias:	Databases Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
por: Vandevoort, Brecht, et al.
Publicado: (2025)

On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
por: Enea, Constantin, et al.
Publicado: (2026)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
por: He, Yang, et al.
Publicado: (2024)

Static Type Checking for Database Access Code
por: Kirz, Thomas James, et al.
Publicado: (2026)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
por: Bogdanov, Eli, 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)

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

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

Making TransactionIsolation Checking Practical
por: Zhang, Jian, et al.
Publicado: (2026)

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

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

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

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
por: Casas-Ramos, Jacobo, et al.
Publicado: (2025)

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

Scenario-Based Proofs for Concurrent Objects [Extended Version]
por: Enea, Constantin, et al.
Publicado: (2023)

Data-driven Verification of Procedural Programs with Integer Arrays
por: Bouajjani, Ahmed, et al.
Publicado: (2025)

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)

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

ReViSQL: Achieving Human-Level Text-to-SQL
por: Zhu, Yuxuan, et al.
Publicado: (2026)

CobbleDB: Modelling Levelled Storage by Composition
por: Ma, Emilie, et al.
Publicado: (2026)

Reasoning about Transactional Isolation Levels with Isolde
por: Barros, Manuel, et al.
Publicado: (2026)

Reduction for Structured Concurrent Programs
por: Gangamreddypalli, Namratha, et al.
Publicado: (2026)

Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
por: Li, Hexu, et al.
Publicado: (2025)

Text2SQL-Flow: A Robust SQL-Aware Data Augmentation Framework for Text-to-SQL
por: Cai, Qifeng, et al.
Publicado: (2025)

AmbiSQL: Interactive Ambiguity Detection and Resolution for Text-to-SQL
por: Ding, Zhongjun, et al.
Publicado: (2025)

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

ErrorLLM: Modeling SQL Errors for Text-to-SQL Refinement
por: Hong, Zijin, et al.
Publicado: (2026)

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

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

Dubo-SQL: Diverse Retrieval-Augmented Generation and Fine Tuning for Text-to-SQL
por: Thorpe, Dayton G., et al.
Publicado: (2024)

V-SQL: A View-based Two-stage Text-to-SQL Framework
por: You, Zeshun, et al.
Publicado: (2024)

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

Rel: A Programming Language for Relational Data
por: Aref, Molham, et al.
Publicado: (2025)

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

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

Vbox: Efficient Black-Box Serializability Verification
por: Sun, Weihua, 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)

Towards General-Purpose Data Discovery: A Programming Languages Approach
por: Kang, Andrew, et al.
Publicado: (2025)

Elimination of annotation dependencies in validation for Modern JSON Schema
por: Attouche, Lyes, et al.
Publicado: (2025)