Hoe gaan we om met kardinaliteiten

Bij het definieren van de objecttypes hebben we nog geen aanpak voor het vastleggen van kardinaliteiten.

• Bij attributen die 1 keer voorkomen in een object kunnen we de nested expression van de Existentiepostulerende claim gebruiken als Unicity.
• Bij attributen die N keer voorkomen in een object wordt in de Unicity zowel de Nested Expression van de Existentiepostulerende claim alswel de rol(len) van het claimtype die het claimtype zelf uniek identificeren.

Kardinaliteiten die beperkt voorkomen (bv. maximaal 3 keer) kunnen niet op de bovenstaande wijzen gedefineerd worden. De engine kan deze nu ook nog niet afdwingen. Voorbeeld hiervan is het attribuut codeOntbrekendeNutsvoorziening van het WozObject

Dit geldt overigens net zo goed voor kardinaliteiten tussen objecttypen want die worden ook ingevuld door een claimtype.

Concrete vragen :

• Hoe gaan we kardinaliteiten documenteren. (Mogelijke nette optie is het vermelden van de Uniciteit)

• Hoe gaan we de 1:3 kardinaliteit documenteren (Mogelijke optie is om bij de uniciteit het maximum aantal voorkomens vast te leggen)

• Vraag richting ACE: Hoe wrodt een 1:3 kardinaliteit gedefinieerd in de gql en bewaakt door de engine ?