Implicit ordering in relational languages