Writing division as a series of premitive operators in relational algebra [closed]