MGQL: An Executable, Small-Step Semantics of GQL

Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric

ISO Graph Query Language (GQL) is the first international standard for property graph-based graph query languages, standardized as ISO/IEC 39075 in 2024. However, ISO/IEC 39075 cod…