Overview of transitive closure