A straightforward formalization of the relational model