Reasoning about Transactional Isolation Levels with Isolde
Fuente:
arXiv
Salvato in:
| Autori principali: | Barros, Manuel, Cunha, Alcino, Pereira, Jose, Kang, Eunsuk |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| 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)
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)
di: Zhuang, Qiyu, et al.
Pubblicazione: (2025)
Making TransactionIsolation Checking Practical
di: Zhang, Jian, et al.
Pubblicazione: (2026)
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)
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)
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)
di: Wei, Hengfeng, et al.
Pubblicazione: (2025)
VerIso: Verifiable Isolation Guarantees for Database Transactions
di: Ghasemirad, Shabnam, et al.
Pubblicazione: (2025)
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)
di: Bhatt, Umesh, et al.
Pubblicazione: (2024)
Extending Polaris to Support Transactions
di: Aguilar-Saborit, Josep, et al.
Pubblicazione: (2024)
di: Aguilar-Saborit, Josep, et al.
Pubblicazione: (2024)
Multiverse: Transactional Memory with Dynamic Multiversioning
di: Coccimiglio, Gaetano, et al.
Pubblicazione: (2026)
di: Coccimiglio, Gaetano, et al.
Pubblicazione: (2026)
Breaking the Barriers of Database-Agnostic Transactions
di: Suzuki, Toshihiro, et al.
Pubblicazione: (2026)
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)
di: Sheng, Weiming, et al.
Pubblicazione: (2026)
ATCC: Adaptive Concurrency Control for Unforeseen Agentic Transactions
di: Zhou, Weixing, et al.
Pubblicazione: (2026)
di: Zhou, Weixing, et al.
Pubblicazione: (2026)
Improving Database Performance by Application-side Transaction Merging
di: Ren, Xueyuan, et al.
Pubblicazione: (2026)
di: Ren, Xueyuan, et al.
Pubblicazione: (2026)
Blitzcrank: Fast Semantic Compression for In-memory Online Transaction Processing
di: Qiao, Yiming, et al.
Pubblicazione: (2024)
di: Qiao, Yiming, et al.
Pubblicazione: (2024)
Griffin: Fast Transactional Database Index with Hash and B+-Tree
di: Nakazono, Sho, et al.
Pubblicazione: (2024)
di: Nakazono, Sho, et al.
Pubblicazione: (2024)
Anomaly Pattern-guided Transaction Bug Testing in Relational Databases
di: Xu, Huicong, et al.
Pubblicazione: (2025)
di: Xu, Huicong, et al.
Pubblicazione: (2025)
Efficient Densest Flow Queries in Transaction Flow Networks (Complete Version)
di: Jiang, Jiaxin, et al.
Pubblicazione: (2026)
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)
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)
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)
di: Alflahi, Adam A. E., et al.
Pubblicazione: (2026)
Designing Software with Complex Configurations
di: Cunha, Alcino
Pubblicazione: (2024)
di: Cunha, Alcino
Pubblicazione: (2024)
Transactional Cloud Applications: Status Quo, Challenges, and Opportunities
di: Laigner, Rodrigo, et al.
Pubblicazione: (2025)
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)
di: Zhuang, Qiyu, et al.
Pubblicazione: (2024)
A Critique of Snapshot Isolation
di: Ferro, Daniel Gómez, et al.
Pubblicazione: (2024)
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)
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)
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)
di: Korchiev, Nodirbek, et al.
Pubblicazione: (2024)
SAT-BO: Verification Rule Learning and Optimization for FraudTransaction Detection
di: Luo, Mao, et al.
Pubblicazione: (2025)
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)
di: Song, Haoze, et al.
Pubblicazione: (2025)
Ira: Efficient Transaction Replay for Distributed Systems
di: Bhat, Adithya, et al.
Pubblicazione: (2026)
di: Bhat, Adithya, et al.
Pubblicazione: (2026)
Styx: Transactional Stateful Functions on Streaming Dataflows
di: Psarakis, Kyriakos, et al.
Pubblicazione: (2023)
di: Psarakis, Kyriakos, et al.
Pubblicazione: (2023)
Fast Verification of Strong Database Isolation (Extended Version)
di: Cai, Zhiheng, et al.
Pubblicazione: (2025)
di: Cai, Zhiheng, et al.
Pubblicazione: (2025)
GTX: A Transactional Graph Data System For HTAP Workloads
di: Zhou, Libin, et al.
Pubblicazione: (2024)
di: Zhou, Libin, et al.
Pubblicazione: (2024)
Robustness against Read Committed for Transaction Templates with Functional Constraints
di: Vandevoort, Brecht, et al.
Pubblicazione: (2022)
di: Vandevoort, Brecht, et al.
Pubblicazione: (2022)
Intelligent Transaction Scheduling via Conflict Prediction in OLTP DBMS
di: Zhang, Tieying, et al.
Pubblicazione: (2024)
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)
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)
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)
di: Ell, Basil
Pubblicazione: (2025)
Democratizing Scalable Cloud Applications: Transactional Stateful Functions on Streaming Dataflows
di: Psarakis, Kyriakos
Pubblicazione: (2025)
di: Psarakis, Kyriakos
Pubblicazione: (2025)
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)