3 papers
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…
cs.FL2017
An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention
Bernard Boigelot, Isabelle Mainz, Victor Marsault +1
Given an integer base , a set of integers is represented in base by a language over . The set is said to be -recognisable if its representation is a re…