Path patterns support

[gsvgit]

Hi @cleishm

The syntax for path patterns as described in this proposal (with this fix) is supported. This extension allows one to express RPQs and CFPQs (regular and context-free path queries) in Cypher.

• Syntax description.
• Discussion of the proposal in the openCypher community.

[cleishm]

Wow. This is amazing.

I'll take a look through!

[cleishm]

Quick question while I'm reviewing. I'm unfamiliar with the latest CIP, so perhaps I'm not following. From the CIP, it seems that "path base" can never appear as an AST node itself:

PathBase = PathEdge
         | PathAny
         | PathNode
         | PathReference
         | PathGroup
         ;

But this PR does add it as a concrete AST node. If there is common functionality or the need for a common base type (likely), then perhaps it could be a sub-type instead? Examples of this in the current codebase are cypher_expression_astnode_vt and cypher_query_option_astnode_vt.

[simpletonDL]

Hi, Chris Thanks for the detailed question. This is probably not a very suitable name for this concrete AST node. In my mind PathBase is union of PathRepetition and PathDirection, so it stores direction and range details. Something like this:

PathBase = ['<'], SomeNode, ['>'], [('*', [RangeDetail]) | '+' | '?'];
SomeNode = PathEdge
         | PathAny
         | PathNode
         | PathReference
         | PathGroup
         ;

I maybe don`t understand what exactly sub-type is, but it doesn't look like a something that can contains useful fields. So I believe that this is not what we want.

[gsvgit]

Hi @cleishm! For what reason this pull request was closed?

[cleishm]

@gsvgit Ah - not intentional. Please feel free to re-open against the main branch!