Marko Rodriguez is one of the main authors of Apache TinkerPop [http://tinkerpop.apache.org/ http://tinkerpop.apache.org/]. This paper is the theoretical ground

Marko Rodriguez is one of the main authors of Apache TinkerPop [http://tinkerpop.apache.org/ http://tinkerpop.apache.org/]. This paper is the theoretical groundwork for future, more efficient implementations of the gremlin traversal machine, as appears from the last sentence of the paper: "In general, the algebra can be used to develop both languages and underlying execution systems that are functional, universal, and can be reasoned on algebraically."