Print Email Facebook Twitter GRAIL Title GRAIL: Checking Transaction Isolation Violations with Graph Queries Author Dumbrava, Stefania (ENSIIE) Jin, Zhao (ENSIIE) Kulahcioglu Ozkan, Burcu (TU Delft Software Engineering) Qiu, Jingxuan (Student TU Delft) Date 2024 Abstract Distributed databases are surging in popularity with the growing need for performance and fault tolerance. However, implementing transaction isolation models on distributed databases is more challenging due to their sharding and replication. As a result, they can produce executions that violate their claimed isolation guarantees. In this work, we propose a novel isolation model-agnostic approach that utilizes graph databases to efficiently detect isolation violations expressed as anti-patterns in transactional dependency graphs. To illustrate our approach, we introduce the GRAIL framework, implemented on top of the popular ArangoDB and Neo4j graph databases. GRAIL combines soundness guarantees and high performance with understandable, detailed counter-examples. Subject distributed databasesgraph queriestestingtransaction isolation To reference this document use: http://resolver.tudelft.nl/uuid:9b18ac2a-37ea-4bf4-b556-66ffa42c8a38 DOI https://doi.org/10.1145/3639478.3643094 Publisher IEEE ISBN 9798400705021 Source Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 Event 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024, 2024-04-14 → 2024-04-20, Lisbon, Portugal Series Proceedings - International Conference on Software Engineering, 0270-5257 Part of collection Institutional Repository Document type conference paper Rights © 2024 Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu Files PDF 3639478.3643094.pdf 659.11 KB Close viewer /islandora/object/uuid:9b18ac2a-37ea-4bf4-b556-66ffa42c8a38/datastream/OBJ/view