HyGraph: a subgraph isomorphism algorithm for efficiently querying big graph databases