Formal Semantics of the Language Cypher
Databases
2018-03-22 v2 Programming Languages
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.
Cite
@article{arxiv.1802.09984,
title = {Formal Semantics of the Language Cypher},
author = {Nadime Francis and Alastair Green and Paolo Guagliardo and Leonid Libkin and Tobias Lindaaker and Victor Marsault and Stefan Plantikow and Mats Rydberg and Martin Schuster and Petra Selmer and Andrés Taylor},
journal= {arXiv preprint arXiv:1802.09984},
year = {2018}
}
Comments
22 pages