relational algebra translator