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
- 12446
- Venue
- VLDB
- Year
- 2021
- Pagerank
- 0.00013158624
- Overall Rank
- 1,228 | 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,289 |
TranAD: Deep Transformer Networks for Anomaly Detection in Multivariate Time Series Data |
2022 |
VLDB |
9.0922439e-05 |
| 6,143 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
5.1867156e-05 |
| 7,406 |
Database Isolation By Scheduling |
2021 |
VLDB |
4.7330129e-05 |
| 7,617 |
Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases |
2023 |
CIDR |
4.6901099e-05 |
| 7,684 |
TDSQL: Tencent Distributed Database System |
2024 |
VLDB |
4.6754482e-05 |
| 8,147 |
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness |
2022 |
SIGMOD |
4.5719001e-05 |
| 8,161 |
TOD: GPU-accelerated Outlier Detection via Tensor Operations |
2023 |
VLDB |
4.5688249e-05 |
| 8,486 |
ScalarDB: Universal Transaction Manager for Polystores |
2023 |
VLDB |
4.4955142e-05 |
| 8,798 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4443524e-05 |
| 8,903 |
DoppelGanger++: Towards Fast Dependency Graph Generation for Database Replay |
2024 |
SIGMOD |
4.4229886e-05 |
| 9,751 |
VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation |
2023 |
SIGMOD |
4.2856385e-05 |
| 9,903 |
TiQuE: Improving the Transactional Performance of Analytical Systems for True Hybrid Workloads |
2023 |
VLDB |
4.2539423e-05 |
| 10,036 |
Testing Graph Databases with Synthesized Queries |
2026 |
SIGMOD |
4.1905499e-05 |
| 10,251 |
Pisco: An Isolation Bug Case Reduction and Deduplication Framework |
2026 |
VLDB |
4.1905499e-05 |
| 10,311 |
Fast Verification of Strong Database Isolation |
2026 |
VLDB |
4.1905499e-05 |
| 10,428 |
TXSQL: Lock Optimizations Towards High Contented Workloads |
2025 |
SIGMOD |
4.1905499e-05 |
| 10,558 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
4.1905499e-05 |
| 10,611 |
Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction |
2025 |
VLDB |
4.1905499e-05 |
| 10,630 |
Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems |
2025 |
VLDB |
4.1905499e-05 |
| 10,787 |
Design and Modular Verification of Distributed Transactions in MongoDB |
2025 |
VLDB |
4.1905499e-05 |
| 10,896 |
Leopard: A General Test Suite for Isolation Level Verification |
2024 |
CIDR |
4.1905499e-05 |
| 10,991 |
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs |
2024 |
SIGMOD |
4.1905499e-05 |
| 10,998 |
Understanding and Reusing Test Suites Across Database Systems |
2024 |
SIGMOD |
4.1905499e-05 |
| 11,108 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
4.1905499e-05 |
| 11,168 |
Allocating Isolation Levels to Transactions in a Multiversion Setting |
2023 |
PODS |
4.1905499e-05 |
| 11,410 |
IsoBugView: Interactively Debugging Isolation Bugs in Database Applications |
2022 |
VLDB |
4.1905499e-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,815 |
Deciding Robustness for Lower SQL Isolation Levels |
2020 |
PODS |
4.2742278e-05 |
| 9,758 |
RushMon: Real-time Isolation Anomalies Monitoring |
2018 |
SIGMOD |
4.2854903e-05 |
| 10,896 |
Leopard: A General Test Suite for Isolation Level Verification |
2024 |
CIDR |
4.1905499e-05 |
| 4,870 |
DBPA: A Benchmark for Transactional Database Performance Anomalies |
2023 |
SIGMOD |
5.8583776e-05 |
| 11,108 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
4.1905499e-05 |
| 10,558 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
4.1905499e-05 |
| 10,311 |
Fast Verification of Strong Database Isolation |
2026 |
VLDB |
4.1905499e-05 |
| 10,710 |
Shifting Transaction Isolation on Graphs: From Systems to Data |
2025 |
VLDB |
4.1905499e-05 |
| 2,132 |
Automating the Detection of Snapshot Isolation Anomalies |
2007 |
VLDB |
9.47431e-05 |
| 8,798 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4443524e-05 |