Relational algebra nearly complete