Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko. Static Analysis of Graph Database Transformations. In Floris Geerts, Hung Q. Ngo 0001, Stavros Sintos, editors, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2023, Seattle, WA, USA, June 18-23, 2023. pages 251-261, ACM, 2023. [doi]
Abstract is missing.