Communication Dans Un Congrès Année : 2024

Checking Transaction Isolation Violations Using Graph Queries

Résumé

Distributed databases provide different transaction isolation levels for higher performance and fault tolerance. However, implementing isolation models is challenging, and database systems can produce executions that violate their isolation guarantees. In this work, we propose GRAIL, a new approach that uses graph databases and queries to detect isolation violations expressed as anti-patterns in transactional dependency graphs. We implement the approach on top of the popular ArangoDB and Neo4j graph databases and show its efficiency through an experimental analysis of real executions of ArangoDB as a system under test.
Fichier principal
Vignette du fichier
icgt_2024.pdf (423.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04886090 , version 1 (14-01-2025)

Identifiants

Citer

Stefania Dumbrava, Zhao Jin, Burcu Kulahcioglu Ozkan, Jingxuan Qiu. Checking Transaction Isolation Violations Using Graph Queries. 17th International Conference on Graph Transformation (ICGT 2024), Jul 2024, Enschede, Netherlands. pp.203-213, ⟨10.1007/978-3-031-64285-2_11⟩. ⟨hal-04886090⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More