Back to papers
Elle: Inferring Isolation Anomalies from Experimental Observations
Summary: Elle infers Adya-style dependency graphs from selective histories to reveal histories and detect anomalies. Sound, efficient (polynomial in history length and concurrency), distinguishing Adya-style anomalies with concise explanations; tested on 4 real DBs.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 12445
- Venue
- VLDB
- Year
- 2021
- Pagerank
- 0.00013170695
- Overall Rank
- 1,227 | 91.47%
- DOI
-
10.14778/3430915.3430918
Incoming Non-self Citations Over Time
Incoming Citations (Sorted by Pagerank)
Showing 26 of 26 citing papers.
| Rank |
Citing Paper |
Year |
Venue |
Pagerank |
| 2,290 |
TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate Time Series Data |
2022 |
VLDB |
9.0934125e-05 |
| 6,137 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
5.1916986e-05 |
| 7,406 |
Database Isolation By Scheduling |
2021 |
VLDB |
4.7375424e-05 |
| 7,618 |
Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases |
2023 |
CIDR |
4.6944277e-05 |
| 7,683 |
TDSQL: Tencent Distributed Database System |
2024 |
VLDB |
4.6799361e-05 |
| 8,144 |
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness |
2022 |
SIGMOD |
4.576288e-05 |
| 8,157 |
TOD: GPU-accelerated Outlier Detection via Tensor Operations |
2023 |
VLDB |
4.5730908e-05 |
| 8,489 |
ScalarDB: Universal Transaction Manager for Polystores |
2023 |
VLDB |
4.4998278e-05 |
| 8,800 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4486165e-05 |
| 8,902 |
DoppelGanger++: Towards Fast Dependency Graph Generation for Database Replay |
2024 |
SIGMOD |
4.427232e-05 |
| 9,752 |
VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation |
2023 |
SIGMOD |
4.2897489e-05 |
| 9,904 |
TiQuE: Improving the Transactional Performance of Analytical Systems for True Hybrid Workloads |
2023 |
VLDB |
4.258022e-05 |
| 10,036 |
Testing Graph Databases with Synthesized Queries |
2026 |
SIGMOD |
4.1945683e-05 |
| 10,251 |
Pisco: An Isolation Bug Case Reduction and Deduplication Framework |
2026 |
VLDB |
4.1945683e-05 |
| 10,299 |
Fast Verification of Strong Database Isolation |
2026 |
VLDB |
4.1945683e-05 |
| 10,418 |
TXSQL: Lock Optimizations Towards High Contented Workloads |
2025 |
SIGMOD |
4.1945683e-05 |
| 10,549 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
4.1945683e-05 |
| 10,603 |
Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction |
2025 |
VLDB |
4.1945683e-05 |
| 10,622 |
Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems |
2025 |
VLDB |
4.1945683e-05 |
| 10,781 |
Design and Modular Verification of Distributed Transactions in MongoDB |
2025 |
VLDB |
4.1945683e-05 |
| 10,892 |
Leopard: A General Test Suite for Isolation Level Verification |
2024 |
CIDR |
4.1945683e-05 |
| 10,988 |
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs |
2024 |
SIGMOD |
4.1945683e-05 |
| 10,995 |
Understanding and Reusing Test Suites Across Database Systems |
2024 |
SIGMOD |
4.1945683e-05 |
| 11,105 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
4.1945683e-05 |
| 11,165 |
Allocating Isolation Levels to Transactions in a Multiversion Setting |
2023 |
PODS |
4.1945683e-05 |
| 11,407 |
IsoBugView: Interactively Debugging Isolation Bugs in Database Applications |
2022 |
VLDB |
4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 9,816 |
Deciding Robustness for Lower SQL Isolation Levels |
2020 |
PODS |
4.2783272e-05 |
| 9,756 |
RushMon: Real-time Isolation Anomalies Monitoring |
2018 |
SIGMOD |
4.2896011e-05 |
| 10,892 |
Leopard: A General Test Suite for Isolation Level Verification |
2024 |
CIDR |
4.1945683e-05 |
| 4,868 |
DBPA: A Benchmark for Transactional Database Performance Anomalies |
2023 |
SIGMOD |
5.8629636e-05 |
| 11,105 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
4.1945683e-05 |
| 10,299 |
Fast Verification of Strong Database Isolation |
2026 |
VLDB |
4.1945683e-05 |
| 10,549 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
4.1945683e-05 |
| 10,702 |
Shifting Transaction Isolation on Graphs: From Systems to Data |
2025 |
VLDB |
4.1945683e-05 |
| 2,133 |
Automating the Detection of Snapshot Isolation Anomalies |
2007 |
VLDB |
9.4752131e-05 |
| 8,800 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4486165e-05 |