With relational algebra: