Reord is really Project, in the relational calculus of Datalog.Query
in Query, tables are now hashtables, for unicity checks