Efficient algorithms for the instantiated transitive closure queries