Overview of the transitive closure algorithm and its application