Buchumschlag

Making TransactionIsolation Checking Practical

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Jian, Mu, Shuai, Tan, Cheng
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)

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)

Reasoning about Transactional Isolation Levels with Isolde
von: Barros, Manuel, et al.
Veröffentlicht: (2026)

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

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs
von: Vandevoort, Brecht, 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)

Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks [Technical Report]
von: Geng, Jinkun, et al.
Veröffentlicht: (2025)

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

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

Blitzcrank: Fast Semantic Compression for In-memory Online Transaction Processing
von: Qiao, Yiming, 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)

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

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

Making Array-Based Translation Practical for Modern, High-Performance Buffer Management
von: Zhou, Xinjing, et al.
Veröffentlicht: (2026)

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)

COLE$^+$: Towards Practical Column-based Learned Storage for Blockchain Systems
von: Zhang, Ce, et al.
Veröffentlicht: (2026)

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

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

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

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)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
von: Bogdanov, Eli, et al.
Veröffentlicht: (2025)

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

Static Type Checking for Database Access Code
von: Kirz, Thomas James, et al.
Veröffentlicht: (2026)

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

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)

Towards Robustness: A Critique of Current Vector Database Assessments
von: Wang, Zikai, et al.
Veröffentlicht: (2025)

A Scalable and Near-Optimal Conformance Checking Approach for Long Traces
von: Bogdanov, Eli, et al.
Veröffentlicht: (2024)