Copertina

Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Hexu, Wei, Hengfeng, Ouyang, Hongrong, Chen, Yuxing, Yang, Na, Zhang, Ruohao, Pan, Anqun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Databases
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
di: Zheng, Qiushi, et al.
Pubblicazione: (2024)

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

TXSQL: Lock Optimizations Towards High Contented Workloads (Extended Version)
di: Wang, Donghui, et al.
Pubblicazione: (2025)

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

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

Efficient Query Rewrite Rule Discovery via Standardized Enumeration and Learning-to-Rank(extend)
di: Zhang, Yuan, et al.
Pubblicazione: (2026)

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

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

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

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

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

GTX: A Write-Optimized Latch-free Graph Data System with Transactional Support -- Extended Version
di: Zhou, Libin, et al.
Pubblicazione: (2024)

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

LITS: An Optimized Learned Index for Strings (An Extended Version)
di: Yang, Yifan, et al.
Pubblicazione: (2024)

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

Oze: Decentralized Graph-based Concurrency Control for Long-running Update Transactions (Extended Version)
di: Nemoto, Jun, et al.
Pubblicazione: (2022)

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

Quantum Computing for Databases: Overview and Challenges
di: Yuan, Gongsheng, et al.
Pubblicazione: (2024)

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

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

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

Regular Expression Indexing for Log Analysis. Extended Version
di: Zhang, Ling, et al.
Pubblicazione: (2025)

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

The Case for DBMS Live Patching [Extended Version]
di: Fruth, Michael, et al.
Pubblicazione: (2024)

LogDB: Multivariate Log-based Failure Diagnosis for Distributed Databases (Extended from MultiLog)
di: Zhang, Lingzhe, et al.
Pubblicazione: (2025)

RCRank: Multimodal Ranking of Root Causes of Slow Queries in Cloud Database Systems
di: Ouyang, Biao, et al.
Pubblicazione: (2025)

CUBIT: Concurrent Updatable Bitmap Indexing (Extended Version)
di: Wang, Junchang, et al.
Pubblicazione: (2024)

Query-Specific Pruning of RML Mappings (Extended Version)
di: Oo, Sitt Min, et al.
Pubblicazione: (2026)

An Algebraic Foundation for Knowledge Graph Construction (Extended Version)
di: Oo, Sitt Min, et al.
Pubblicazione: (2025)

TimeBlocks: Foundational and Continual Time-Series Blockbase -- Extended Version
di: Campos, David, et al.
Pubblicazione: (2026)

ResBench: A Comprehensive Framework for Evaluating Database Resilience
di: Hu, Puyun, et al.
Pubblicazione: (2025)

Fast Algorithm for Embedded Order Dependency Validation (Extended Version)
di: Ramos, Alejandro, et al.
Pubblicazione: (2023)

Marlin: Efficient Coordination for Autoscaling Cloud DBMS (Extended Version)
di: Hu, Wenjie, et al.
Pubblicazione: (2025)

Building an OceanBase-based Distributed Nearly Real-time Analytical Processing Database System
di: Xu, Quanqing, et al.
Pubblicazione: (2026)

Living Databases: A Unified Model for Continuous Schema Evolution, Versioning, and Transformations
di: Deshpande, Amol
Pubblicazione: (2026)

QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models -- Extended Version
di: Campos, David, et al.
Pubblicazione: (2024)

MH-GIN: Multi-scale Heterogeneous Graph-based Imputation Network for AIS Data (Extended Version)
di: Liu, Hengyu, et al.
Pubblicazione: (2025)