Efficient management of transitive relationships in large data and knowledge bases