Any suggestion for the names of these two algebras? They are more like physical plan than algebra, actually.