Fixpoint Recursion & Map
Example (null corresponds to DB root vertex):
*[ child(?[A|E, #](x)) ](x:null) returns
{v1,c1,Jane, v2,o1, v3,1/1/2000}
Abbreviated path navigation syntax:
- A/b* = *[ ?[E, b](child(x)) ](x:A)
- A/b*n = *[ ?[E, b](child(x)), n ](x:A)
Map: m[f(x)](x:C) := *[f(x),1](x:C) - C