Integrity in the relational data model