Computing Label-Constraint Reachability In Graph Databases