Complex key definition in RecordModel