Pith. sign in

REVIEW 1 cited by

Formal Semantics of the Language Cypher

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1802.09984 v2 pith:CIOJR3XC submitted 2018-02-27 cs.DB cs.PL

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és Taylor
This is my paper · ORCID
classification cs.DBcs.PL
keywords cypherlanguagepartsemanticsapplicationscommercialcorecurrently
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Graph Neural Networks on Graph Databases

    cs.LG 2024-11 conditional novelty 6.0 of 10

    Training a GNN by querying a graph database for neighbor samples and features reduces memory use enough to train on small machines, but is much slower than in-memory training.

Pith tools