Copertina

Reasoning about Transactional Isolation Levels with Isolde

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barros, Manuel, Cunha, Alcino, Pereira, Jose, Kang, Eunsuk
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Databases
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection
di: Zhuang, Qiyu, et al.
Pubblicazione: (2025)

Making TransactionIsolation Checking Practical
di: Zhang, Jian, et al.
Pubblicazione: (2026)

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

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

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
di: Wei, Hengfeng, et al.
Pubblicazione: (2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions
di: Ghasemirad, Shabnam, et al.
Pubblicazione: (2025)

Empirical Analysis of EIP-3675: Miner Dynamics, Transaction Fees, and Transaction Time
di: Bhatt, Umesh, et al.
Pubblicazione: (2024)

Extending Polaris to Support Transactions
di: Aguilar-Saborit, Josep, et al.
Pubblicazione: (2024)

Multiverse: Transactional Memory with Dynamic Multiversioning
di: Coccimiglio, Gaetano, et al.
Pubblicazione: (2026)

Breaking the Barriers of Database-Agnostic Transactions
di: Suzuki, Toshihiro, et al.
Pubblicazione: (2026)

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

ATCC: Adaptive Concurrency Control for Unforeseen Agentic Transactions
di: Zhou, Weixing, et al.
Pubblicazione: (2026)

Improving Database Performance by Application-side Transaction Merging
di: Ren, Xueyuan, et al.
Pubblicazione: (2026)

Blitzcrank: Fast Semantic Compression for In-memory Online Transaction Processing
di: Qiao, Yiming, et al.
Pubblicazione: (2024)

Griffin: Fast Transactional Database Index with Hash and B+-Tree
di: Nakazono, Sho, et al.
Pubblicazione: (2024)

Anomaly Pattern-guided Transaction Bug Testing in Relational Databases
di: Xu, Huicong, et al.
Pubblicazione: (2025)

Efficient Densest Flow Queries in Transaction Flow Networks (Complete Version)
di: Jiang, Jiaxin, et al.
Pubblicazione: (2026)

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

Fast Commitment for Geo-Distributed Transactions via Decentralized Co-coordinators
di: Zhang, Zihao, et al.
Pubblicazione: (2023)

A Scalable Transaction Management Framework for Consistent Document-Oriented NoSQL Databases
di: Alflahi, Adam A. E., et al.
Pubblicazione: (2026)

Designing Software with Complex Configurations
di: Cunha, Alcino
Pubblicazione: (2024)

Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
di: Laigner, Rodrigo, et al.
Pubblicazione: (2025)

GeoTP: Latency-aware Geo-Distributed Transaction Processing in Database Middlewares (Extended Version)
di: Zhuang, Qiyu, et al.
Pubblicazione: (2024)

A Critique of Snapshot Isolation
di: Ferro, Daniel Gómez, et al.
Pubblicazione: (2024)

A Simple and Fast Way to Handle Semantic Errors in Transactions
di: Zeng, Jinghan, et al.
Pubblicazione: (2024)

Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release
di: Bun, Mark, et al.
Pubblicazione: (2025)

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

SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
di: Luo, Mao, et al.
Pubblicazione: (2025)

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

Ira: Efficient Transaction Replay for Distributed Systems
di: Bhat, Adithya, et al.
Pubblicazione: (2026)

Styx: Transactional Stateful Functions on Streaming Dataflows
di: Psarakis, Kyriakos, et al.
Pubblicazione: (2023)

Fast Verification of Strong Database Isolation (Extended Version)
di: Cai, Zhiheng, et al.
Pubblicazione: (2025)

GTX: A Transactional Graph Data System For HTAP Workloads
di: Zhou, Libin, et al.
Pubblicazione: (2024)

Robustness against Read Committed for Transaction Templates with Functional Constraints
di: Vandevoort, Brecht, et al.
Pubblicazione: (2022)

Intelligent Transaction Scheduling via Conflict Prediction in OLTP DBMS
di: Zhang, Tieying, et al.
Pubblicazione: (2024)

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

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

Graph Pattern-based Association Rules Evaluated Under No-repeated-anything Semantics in the Graph Transactional Setting
di: Ell, Basil
Pubblicazione: (2025)

Democratizing Scalable Cloud Applications: Transactional Stateful Functions on Streaming Dataflows
di: Psarakis, Kyriakos
Pubblicazione: (2025)