This is an old revision of the document!
Table of Contents
Variables
Declaration
A query may start with the declaration of query variables in the usual syntax of the Java programming language. The sole purpose of this is to shorten the specification of a query with several variables of the same type.
Identifier on implicit QV
It is possible to associate a query variable declared implicitly with an identifier. This, enables the manual usage of that query variable, like any other final variable in the scope. The most common approach is: n:Node, where n is the query variable.
Folding
The pattern matching algorithm obeys several constraints. One constraint is the injectivity of matches with respect to nodes, i. e., no two query variables containing nodes may be bound to the same node of the graph. However, there are situations where this constraint it too restrictive. One solution is then to completely disable the requirement of injectivity, but a more fine-grained mechanism is given by folding clauses,