Decomposing DAGs into spanning trees: A new way to compress transitive closures | IEEE Conference Publication | IEEE Xplore