Direct transitive closure algorithms: design and performance evaluation
- 1 September 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 15 (3), 427-458
- https://doi.org/10.1145/88636.88888
Abstract
We present new algorithms for computing transitive closure of large database relations. Unlike iterative algorithms, such as the seminaive and logarithmic algorithms, the termination of our algorithms does not depend on the length of paths in the underlying graph (hence the name direct algorithms). Besides reachability computations, the proposed algorithms can also be used for solving path problems. We discuss issues related to the efficient implementation of these algorithms, and present experimental results that show the direct algorithms perform uniformly better than the iterative algorithms. A side benefit of this work is that we have proposed a new methodology for evaluating the performance of recursive queries.Keywords
This publication has 14 references indexed in Scilit:
- Alpha: an extension of relational algebra to express a class of recursive queriesIEEE Transactions on Software Engineering, 1988
- A study of transitive closure as a recursion mechanismPublished by Association for Computing Machinery (ACM) ,1987
- Traversal recursion: a practical approach to supporting recursive applicationsPublished by Association for Computing Machinery (ACM) ,1986
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Design and implementation of the wisconsin storage systemSoftware: Practice and Experience, 1985
- Implementation techniques for main memory database systemsPublished by Association for Computing Machinery (ACM) ,1984
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979
- An Algorithm for Transitive Closure with Linear Expected TimeSIAM Journal on Computing, 1978
- A modification of Warshall's algorithm for the transitive closure of binary relationsCommunications of the ACM, 1975
- A Theorem on Boolean MatricesJournal of the ACM, 1962