This is an old revision of the document!
Table of Contents
Query graph
This section presents the query graphs. Query graph are used at runtime to perform queries onto a data graph.
Derivation
Rules of the XL programming language are executed when the control flow reaches them. The execution of a rule finds all matches of the left-hand side and, for each match, performs the statements of the right-hand side. Thus, for a producer implementation which constructs a parallel production, the control flow in the sense of relational growth grammars the family of all executed rules and applies each rule via every possible match in the current graph. This is a true parallel mode of derivation. The different derivation modes enable to use a different control flow.
RGGGraph
The default rgg model graph.
MSGraph
Multi scale model graph. This query graph use the Type graph to resolve the query predicates and production statements. When the TypeAxiom node get replaced, the project automatically switch to use the MSGraph as current model graph.