Slide 9
Slide 9 text
• Every scientist is a member of 2, 3, or 4 research
teams.
– soft-card(ε, (_.RTeam.Sci, {id})) = (2, 4)
• Every technician can work in up to 4 different
support teams.
– soft-card(ε, (_.STeam.Tech, {id})) = (1, 4)
• A project cannot have more than one manager.
– soft-card(_, (Manager, Ø)) = (1, 1)
• In every team, there should be two employees
for each expertise level.
– soft-card(_._, (_, {Expertise.S})) = (2, 2)
Emir M. - WISE, Nanjing, China, 14th October 2013 9
Soft Cardinality Constraints
Examples