Cover Image

Fast Verification of Strong Database Isolation (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cai, Zhiheng, Liu, Si, Wei, Hengfeng, Chen, Yuxing, Pan, Anqun
Format:	Preprint
Published:	2025
Subjects:	Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

RadixGraph: A Fast, Space-Optimized Data Structure for Dynamic Graph Storage (Extended Version)
by: Xie, Haoxuan, et al.
Published: (2026)

Query-Guided Analysis and Mitigation of Data Verification Errors (Extended Version)
by: Schreiber, Ran, et al.
Published: (2026)

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

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

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

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

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

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

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

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

A Fast Ethereum-Compatible Forkless Database
by: Jordan, Herbert, et al.
Published: (2025)

Taurus Database: How to be Fast, Available, and Frugal in the Cloud
by: Depoutovitch, Alex, et al.
Published: (2024)

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

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

Fast Tuning the Index Construction Parameters of Proximity Graphs in Vector Databases
by: Zhou, Wenyang, et al.
Published: (2026)

Introducing Schema Inference as a Scalable SQL Function [Extended Version]
by: Dani, Calvin, et al.
Published: (2024)

A Data Model and Predicate Logic for Trajectory Data (Extended Version)
by: Bornholdt, Johann, et al.
Published: (2024)

An experimental comparison of tree-data structures for connectivity queries on fully-dynamic undirected graphs (Extended Version)
by: Chen, Qing, et al.
Published: (2025)

Text2Schema: Filling the Gap in Designing Database Table Structures based on Natural Language
by: Wang, Qin, et al.
Published: (2025)

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

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

Quantum Data Management in the NISQ Era: Extended Version
by: Hai, Rihan, et al.
Published: (2024)

GeoGauss: Strongly Consistent and Light-Coordinated OLTP for Geo-Replicated SQL Database
by: Zhou, Weixing, et al.
Published: (2023)

Blueprinting the Cloud: Unifying and Automatically Optimizing Cloud Data Infrastructures with BRAD -- Extended Version
by: Yu, Geoffrey X., et al.
Published: (2024)

Transforming Object-Centric Event Logs to Temporal Event Knowledge Graphs (Extended Version)
by: Khayatbashi, Shahrzad, et al.
Published: (2024)

Less is More: Efficient Time Series Dataset Condensation via Two-fold Modal Matching--Extended Version
by: Miao, Hao, et al.
Published: (2024)

Fast Factorized Learning: Powered by In-Memory Database Systems
by: Stöckl, Bernhard, et al.
Published: (2025)

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

NeurIDA: Dynamic Modeling for Effective In-Database Analytics
by: Zeng, Lingze, et al.
Published: (2025)

An Empirical Study on the Characteristics of Database Access Bugs in Java Applications
by: Liu, Wei, et al.
Published: (2024)

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

Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases
by: Theologitis, Michael, et al.
Published: (2025)