## UC

Een unicity constraint, afgekort UC, is een uniciteitsbeperking. Met deze beperking wordt aangegeven dat een gegeven of een combinatie van gegevens slechts eenmaal mag voorkomen in alle zinnen van een feittype.
We bekijken een paar zinnen:
Leerling 86139 zit in klas 4Hc.
Leerling 86137 zit in klas 4Hc.
Uit deze beide zinnen valt op te maken dat het mogelijk is dat er meer dan één leerling in een bepaalde klas zit. Dat is vanzelfsprekend. Het gegeven 4Hc mag meerdere keren voorkomen in dit feittype.
In de volgende twee zinnen ligt het anders:
Leerling 86139 zit in klas 4Hc.
Leerling 86139 zit in klas 4Vb.

In de expressie wordt beweerd dat een bepaalde leerling in twee verschillende klassen zit. Het te maken systeem moet dat verbieden. Het gegeven 86139 mag maar één keer voorkomen in dit feittype. Daarom moet er over de rol die de leerling speelt een uniciteitsbeperking worden gelegd. Dit wordt in het IGD weergegeven door een dubbele pijl over de betreffende rol.

Dus een uniciteitsbeperking op rol 10: