Relational Minimum Spanning Tree Algorithms

Walter Guttmann ­čîÉ and Nicolas Robinson-O’Brien

December 8, 2020

Abstract

We verify the correctness of Prim's, Kruskal's and Borůvka's minimum spanning tree algorithms based on algebras for aggregation and minimisation.

License

BSD License

Topics

Session Relational_Minimum_Spanning_Trees