relational algebra-inspired object modification