Next: Depth Oriented (MDN) Up: Using More Than Previous: Using More Than

Breadth Oriented (MBN)

For simplicity, we consider only the following part of the norm example:

Note that the Var case of the type 1 node points (`over') to the type 2 node (`breadth') under the assumption that the second query argument may be non-variable.

That the struct 1 and struct 2 nodes have the same outgoing arrows is a consequence of the example's structurally identical first and second arguments.

Michael Sintek -