SMS: Relational algebraic ornaments