Mapping Cardinality and Constraints