Showing cs.DBShow all
3 papers · 1 filter
cs.DB2026
Expressive Power of Property Graph Constraint Languages
Stefania Dumbrava, Nadime Francis, Victor Marsault +1
We present the first principled and systematic study of the expressive power of property graph constraint languages, focused on the recent PG-Keys language, set to inform the upcom…
cs.DB2022
Run-Based Semantics for RPQs
Claire David, Victor Marsault, Nadime Francis
The formalism of RPQs (regular path queries) is an important building block of most query languages for graph databases. RPQs are generally evaluated under homomorphism semantics;…
cs.DB2018
Formal Semantics of the Language Cypher
Nadime Francis, Alastair Green, Paolo Guagliardo +8
Cypher is a query language for property graphs. It was originally designed and implemented as part of the Neo4j graph database, and it is currently used in a growing number of comm…