pith. sign in

arxiv: 1802.09984 · v2 · pith:CIOJR3XCnew · submitted 2018-02-27 · 💻 cs.DB · cs.PL

Formal Semantics of the Language Cypher

Nadime Francis , Alastair Green , Paolo Guagliardo , Leonid Libkin , Tobias Lindaaker , Victor Marsault , Stefan Plantikow , Mats Rydberg
show 3 more authors
Martin Schuster Petra Selmer Andr\'es Taylor
This is my paper
classification 💻 cs.DB cs.PL
keywords cypherlanguagepartsemanticsapplicationscommercialcorecurrently
0
0 comments X
read the original abstract

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 commercial systems, industrial applications and research projects. In this work, we provide denotational semantics of the core fragment of the read-only part of Cypher, which features in particular pattern matching, filtering, and most relational operations on tables.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.