Skip to content

Configurable pattern matching semantics in response to #174 #175

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
boggle wants to merge 38 commits into
base: master
Choose a base branch
from
Open

Configurable pattern matching semantics in response to #174 #175

Changes from 1 commit
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
8b6513b
Add proposal for isomorphic pattern matching in response to #174
boggle Jan 25, 2017
ed1a824
Support walks, trails, paths; shortest and cheapest paths matching
boggle Jul 16, 2017
6117618
Rework CIP
boggle Jul 16, 2017
5742fdf
Simplified set of match modes and default handling
boggle Jul 19, 2017
13f3711
Fix example
boggle Jul 19, 2017
fe68d48
Small fixups
boggle Jul 23, 2017
856ae1b
Removed duplicate line
boggle Jul 23, 2017
dd397a5
Restructure CIP and improve language
Mats-SX Jul 24, 2017
ce78377
Rename pattern binder to pattern variable
Mats-SX Jul 24, 2017
cd54871
Remove section on multiline patterns
Mats-SX Jul 24, 2017
9386b70
Remove section on pre-parser options
Mats-SX Jul 24, 2017
048ac32
Move functions to appendix
Mats-SX Jul 24, 2017
00dc3c1
Rename Walks section to walks, trails, paths
Mats-SX Jul 24, 2017
91622f5
Morphism CIP: add definitions of WTP
Jul 24, 2017
db32e46
Structural improvements
Jul 24, 2017
7cccfff
Tie pattern variable classes together with formal definitions
Jul 24, 2017
8f2982d
Tidy up referencing
Jul 24, 2017
254b890
Added plural forms to grammar
boggle Jul 24, 2017
d6384c2
Mandate correct cardinality warnings consistently
boggle Jul 24, 2017
b789402
Updated grammar to include all proposed syntactic forms
boggle Jul 24, 2017
e908196
Update grammar to allow match modes etc without giving a variable name
boggle Jul 24, 2017
dd74857
Reinstated pre-parser suggestions
Jul 25, 2017
f98570c
Add exemplar data graph: used for examples in CIPs
Jul 25, 2017
fce68fa
Clarified relationship of WTP to *morphisms
boggle Jul 26, 2017
40713bb
Add expansive example using data graph
Jul 26, 2017
50e7ac3
Added a detailed example; fix-ups; language changes
Jul 26, 2017
5a8436d
Formatted query headings so they are more readable in default GH view
Jul 26, 2017
08afc88
Added TOC
Jul 26, 2017
efb9fee
Removed Cycles and Circuits for now
boggle Jul 26, 2017
1c39c76
Change to minimize breaking existing queries
boggle Jul 26, 2017
f8c45b4
Update examples to reflect latest changes
boggle Jul 26, 2017
c6b01b5
Textual tidy-ups
Jul 27, 2017
ac72e91
Updated default rules + Moved disjoint back into proposal
boggle Jul 27, 2017
c139130
Reformatted title
Jan 17, 2018
8cb74ae
Updated to reflect recent discussions
boggle Mar 26, 2018
ad333a0
Merge remote-tracking branch 'me/isomatch' into isomatch
boggle Mar 26, 2018
3b4255f
Fix query result blocks
boggle Mar 26, 2018
b74e09e
Clarified DIFFERENT(vars) modifier
boggle Mar 26, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions cip/1.accepted/CIP2017-01-18-configurable-pattern-matching-semantics.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -148,8 +148,9 @@ PatternLengthRestriction = 'SHORTEST'
| 'UNRESTRICTED'
;

PatternMorphism = 'DIFFERENT', ('NODES' | 'VERTICES'), [ VariableList ]
| 'DIFFERENT', ('RELATIONSHIPS' | 'EDGES'), [ VariableList ]
PatternMorphism = 'DIFFERENT', ('NODES' | 'VERTICES')
| 'DIFFERENT', ('RELATIONSHIPS' | 'EDGES')
| 'DIFFERENT', [ VariableList ]
Copy link
Copy Markdown

@thobe thobe Mar 27, 2018

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Optional VariableList? Is that really right?

| 'LENIENT'
;

Expand Down Expand Up @@ -308,6 +309,8 @@ This CIP proposes to introduce the `DIFFERENT NODES` pattern morphism that reque

This CIP proposes to introduce the `DIFFERENT EDGES` pattern morphism that requests that the pattern group is to be matched using relationship isomorphism (i.e. all matched relationships must be different relationships).

This CIP proposes to introduce the `DIFFERENT(variables)` pattern morphism that requests that the pattern group is to be matched such that all given variables are pairwise different.

This CIP proposes to introduce the `LENIENT` pattern morphism that requests that the pattern group is to be matched using homomorphism (i.e. no restrictions are placed on matched entities).


Expand Down