1. A method for determining node reachability within a graph, wherein the method comprises: assigning a combination of interval based labels and non-tree labels to a set of nodes within a graph; and providing an output indicating reachability through a non-tree link from a first node to a second node within the graph based at least in part on data contained in the non-tree labels.