Hexu Li

dblp:405/0968 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Databases, data mining, and information retrieval
1 paper
Transaction processing and concurrency control · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Transaction processing and concurrency control
isolation level verification
0.912025
Online Timestamp-Based Transactional Isolation Checking of Database Systems · ICDE 2025
Transaction processing and concurrency control
serializability
0.912025
Online Timestamp-Based Transactional Isolation Checking of Database Systems · ICDE 2025
Transaction processing and concurrency control › isolation levels
snapshot isolation
0.912025
Online Timestamp-Based Transactional Isolation Checking of Database Systems · ICDE 2025

Methods — techniques the papers use, named apart from their topics

timestamp-based checking · 0.9incremental dependency graph construction · 0.9
YearPublicationVenuePosition
2025 Online Timestamp-Based Transactional Isolation Checking of Database Systems
abstract
Serializability (SER) and snapshot isolation (SI) are widely used transactional isolation levels in database systems. The isolation checking problem asks whether a given execution history of a database system satisfies a specified isolation level. However, existing SER and SI checkers, whether traditional black-box checkers or recent timestamp-based white-box ones, operate offline and require the entire history to be available to construct a dependency graph, making them unsuitable for continuous and ever-growing histories. This paper addresses online isolation checking by extending the timestamp-based isolation checking approach to online settings. Specifically, we design Chronos, an efficient timestamp-based offline SI checker. Chronos is incremental and avoids constructing a start-ordered serialization graph for the entire history, making it well-suited for online scenarios. We further extend Chronos into an online SI checker, Aion, addressing several key challenges unique to online settings. Additionally, we develop Aion-SER for online SER checking. Experiments highlight that Chronos processes offline histories with up to one million transactions in seconds, greatly outperforming existing SI checkers. Furthermore, Aion and Aion-ser sustain a throughput of approximately 12K transactions per second, demonstrating their practicality for online isolation checking.
Hexu Li, Hengfeng Wei, Hongrong Ouyang, Yuxing Chen 0003, Ruohao Zhang, Anqun Pan
ICDE1