Buchumschlag

Reasoning about Transactional Isolation Levels with Isolde

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barros, Manuel, Cunha, Alcino, Pereira, Jose, Kang, Eunsuk
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Databases
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
von: Bouajjani, Ahmed, et al.
Veröffentlicht: (2025)

TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection
von: Zhuang, Qiyu, et al.
Veröffentlicht: (2025)

Making TransactionIsolation Checking Practical
von: Zhang, Jian, et al.
Veröffentlicht: (2026)

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

Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)
von: Li, Hexu, et al.
Veröffentlicht: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
von: Wei, Hengfeng, et al.
Veröffentlicht: (2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2025)

Empirical Analysis of EIP-3675: Miner Dynamics, Transaction Fees, and Transaction Time
von: Bhatt, Umesh, et al.
Veröffentlicht: (2024)

Extending Polaris to Support Transactions
von: Aguilar-Saborit, Josep, et al.
Veröffentlicht: (2024)

Multiverse: Transactional Memory with Dynamic Multiversioning
von: Coccimiglio, Gaetano, et al.
Veröffentlicht: (2026)

Breaking the Barriers of Database-Agnostic Transactions
von: Suzuki, Toshihiro, et al.
Veröffentlicht: (2026)

Building a Correct-by-Design Lakehouse. Data Contracts, Versioning, and Transactional Pipelines for Humans and Agents
von: Sheng, Weiming, et al.
Veröffentlicht: (2026)

ATCC: Adaptive Concurrency Control for Unforeseen Agentic Transactions
von: Zhou, Weixing, et al.
Veröffentlicht: (2026)

Improving Database Performance by Application-side Transaction Merging
von: Ren, Xueyuan, et al.
Veröffentlicht: (2026)

Blitzcrank: Fast Semantic Compression for In-memory Online Transaction Processing
von: Qiao, Yiming, et al.
Veröffentlicht: (2024)

Griffin: Fast Transactional Database Index with Hash and B+-Tree
von: Nakazono, Sho, et al.
Veröffentlicht: (2024)

Anomaly Pattern-guided Transaction Bug Testing in Relational Databases
von: Xu, Huicong, et al.
Veröffentlicht: (2025)

Efficient Densest Flow Queries in Transaction Flow Networks (Complete Version)
von: Jiang, Jiaxin, et al.
Veröffentlicht: (2026)

LakeVilla: A Modular and Non-Invasive Toolbox for Lakehouse Transactions
von: Götz, Tobias, et al.
Veröffentlicht: (2025)

Fast Commitment for Geo-Distributed Transactions via Decentralized Co-coordinators
von: Zhang, Zihao, et al.
Veröffentlicht: (2023)

A Scalable Transaction Management Framework for Consistent Document-Oriented NoSQL Databases
von: Alflahi, Adam A. E., et al.
Veröffentlicht: (2026)

Designing Software with Complex Configurations
von: Cunha, Alcino
Veröffentlicht: (2024)

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
von: Laigner, Rodrigo, et al.
Veröffentlicht: (2025)

GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version)
von: Zhuang, Qiyu, et al.
Veröffentlicht: (2024)

A Critique of Snapshot Isolation
von: Ferro, Daniel Gómez, et al.
Veröffentlicht: (2024)

A Simple and Fast Way to Handle Semantic Errors in Transactions
von: Zeng, Jinghan, et al.
Veröffentlicht: (2024)

Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release
von: Bun, Mark, et al.
Veröffentlicht: (2025)

Taming the Beast of User-Programmed Transactions on Blockchains: A Declarative Transaction Approach
von: Korchiev, Nodirbek, et al.
Veröffentlicht: (2024)

SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
von: Luo, Mao, et al.
Veröffentlicht: (2025)

K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks (Extended Version)
von: Song, Haoze, et al.
Veröffentlicht: (2025)

Ira: Efficient Transaction Replay for Distributed Systems
von: Bhat, Adithya, et al.
Veröffentlicht: (2026)

Styx: Transactional Stateful Functions on Streaming Dataflows
von: Psarakis, Kyriakos, et al.
Veröffentlicht: (2023)

Fast Verification of Strong Database Isolation (Extended Version)
von: Cai, Zhiheng, et al.
Veröffentlicht: (2025)

GTX: A Transactional Graph Data System For HTAP Workloads
von: Zhou, Libin, et al.
Veröffentlicht: (2024)

Robustness against Read Committed for Transaction Templates with Functional Constraints
von: Vandevoort, Brecht, et al.
Veröffentlicht: (2022)

Intelligent Transaction Scheduling via Conflict Prediction in OLTP DBMS
von: Zhang, Tieying, et al.
Veröffentlicht: (2024)

GrASP: A Generalizable Address-based Semantic Prefetcher for Scalable Transactional and Analytical Workloads
von: Zirak, Farzaneh, et al.
Veröffentlicht: (2025)

Mining Transactional Data To Produce Extended Association Rules Using Collaborative Apriori, Fsa-Red And M5p Predictive Algorithm As A Basis Of Business Actions
von: Sulianta, Feri, et al.
Veröffentlicht: (2024)

Graph Pattern-based Association Rules Evaluated Under No-repeated-anything Semantics in the Graph Transactional Setting
von: Ell, Basil
Veröffentlicht: (2025)

Democratizing Scalable Cloud Applications: Transactional Stateful Functions on Streaming Dataflows
von: Psarakis, Kyriakos
Veröffentlicht: (2025)