Examples
Computable
- find the objects reachable from o by a path labeled a.b.c
- find the objects o’ such that there is a path of length at most k from o to o’
- find all objects lying on a cycle of length at most 3 which contains o
Eventually computable with possibly infinite answers
- find the objects reachable from o
- find the objects referencing o
- find the objects belonging to a cycle