research
∙
11/23/2022
Run-Based Semantics for RPQs
The formalism of RPQs (regular path queries) is an important building bl...
share
research
∙
10/29/2022
GPC: A Pattern Calculus for Property Graphs
The development of practical query languages for graph databases runs we...
research
∙
12/12/2021
Graph Pattern Matching in GQL and SQL/PGQ
As graph databases become widespread, JTC1 – the committee in joint char...
research
∙
02/19/2019
Taking-and-merging games as rewrite games
This work contributes to the study of rewrite games where positions are ...
research
∙
02/27/2018
Formal Semantics of the Language Cypher
Cypher is a query language for property graphs. It was originally design...
research
∙
01/26/2018
