An algebraic analysis of storage fragmentation