Redundancy removal in the data model