Techniques for efficiently querying scientific workflow provenance graphs