Relational Minimum Spanning Tree Algorithms

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

December 8, 2020

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


BSD License


Session Relational_Minimum_Spanning_Trees