Related work

OpenCypher

• OpenCypher on GitHub.
• Path patterns for openCypher.
• GQL standardization community.

Papers

• [Szárnyas:PhD'19] Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems
  OpenCypher -> Relational Graph Algebra -> Nested Relational Algebra -> Flat Relational Algebra. The goal is incremental view maintenance.
• [Szárnyas-al:arXiv'18] Reducing Property Graph Queries to Relational Algebra for Incremental View Maintenance
  Gábor Szárnyas, József Marton, János Maginecz, Dániel Varró
  A detailed description of the steps from the dissertation (the previous paper).
• [Marton-al:arXiv'17] Formalising opencypher Graph Queries in Relational Algebra
  József Marton, Gábor Szárnyas, Dániel Varró
  Relational Graph Algebra is introduced. OpenCypher -> Relational Graph Algebra.
• [Francis-al:arXiv'18] Formal Semantics of the Language Cypher
  Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, et al.
• [Francis-al:SIGMOD'18] Cypher: An Evolving Query Language for Property Graphs
  Nadime Francis, Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, et al.
  SIGMOD version of the previous paper. Path patterns formal description is in future work.
• [Colby-89] A recursive algebra and query optimization for nested relations
• [Murlak-19] On the semantics of Cypher's implicit group-by
  Filip Murlak, Jan Posiadała, Paweł Susicki
• [Posiadała-LDBC'19] An Executable Semantics of Graph Query Language
  Jan Posiadała
  Cypher.PL presentation from LDBC TUC meeting.
• [Green-al:VLDB] Updating Graph Databases with Cypher
  Alastair Green, Paolo Guagliardo, Leonid Libkin, Tobias Lindaaker, et al.
  Syntax and semantics of update operations.
• [Sharma-21] Practical and comprehensive formalisms for modeling contemporary graph query languages
  Chandan Sharma, Roopak Sinha, Kenneth Johnson
• "Formalisation of openCypher Queries in Relational Algebra (Extended Version)"

Projects

• Q*cert. Nested Relational Algebra is mechanized in Coq.
• DataCert
  Anton: We haven't found code of the project.
• Cypher.pl Cypher -> Prolog.
  Anton: This is an empty project, there is only README.md.
• Relational algebra in Coq