In dit practicum leer je hoe je met het casetool deze beperkingsregels in een model kunt aanbrengen.

Transcriptie

1 pagina 1 van 10 Beperkingsregels invoeren met CaseTalk In de theorie over het modelleren hebben we drie soorten beperkingen bekeken: Uniciteitsbeperkingen Totaliteitsbeperkingen Waardenregels (extra) In dit practicum leer je hoe je met het casetool deze beperkingsregels in een model kunt aanbrengen. We maken gebruik van het model dat je in het eerste practicum gemaakt hebt. Op de cdrom vind je een complete uitwerking van dit model, voor het geval dat je eigen model onbruikbaar is. De contraints roll up In het IGD-venster van het casetool kun je de beperkingsregels in een diagram aanbrengen met behulp van een klein gereedschapsvenster, dat de constraint rollup genoemd wordt. Je kunt dit venster oproepen met behulp van een knop op de werkbalk. In de nieuwste versie van Casetalk staat het menu met de beperkingen bovenin het venster met het IGD. Er verschijnt nu een venster met zes symbolen voor beperkingsregels. Voor ons zijn er maar twee van belang: het symbool voor de uniciteitsbeperking (een U, zonder accoladen) en het symbool voor de totaliteitsbeperking (een stip, zonder accoladen). Dit zijn de twee symbolen links in de constraint rollup. Met het vijde symbool van links (de accoladen) kun je een waardenregel maken. Om de beperkingen aan te kunnen brengen moet je eerst een rol selecteren en daarna op het gewenste symbool in de constraint rollup klikken. Het selecteren van rollen gaat zo: alle rollen selecteren Alle rollen van een feittype selecteer je door het feittype gewoon aan te klikken. Het wordt dan blauw. (Je gebruikt dit ook om het feittype te verplaatsen.) ÈÈn rol selecteren Een enkele rol selecteer met behulp van CONTROL-klik. De rol wordt dan groen gekleurd. Je kunt verscheidene rollen na elkaar (bij)selecteren. Uniciteitsbeperkingen bij de dvd's Om uniciteitsbeperkingen aan te brengen, moet je in het beperkingenmenu de linkerknop selecteren.

2 pagina 2 van 10 Bekijk het feittype ProgrammaDuur. Dit feittype heeft een uniciteitsbeperking over de rol van Programma, omdat een programma niet twee verschillende lengtes kan hebben. Omgekeerd kunnen er allerlei programma's met dezelfde lengte zijn, dus er is geen uniciteitsbeperking over Tijdsduur. Selecteer de rol van Programma met Control-Klik. De rol wordt nu groen. Klik nu op de knop van de uniciteitsbeperking in het beperkingenmenu. Er verschijnt nu een dubbele pijl boven de rol. Op dezelfde manier kun je ook de andere uniciteitsbeperkingen zetten. In het plaatje hieronder zijn ze aangegeven door rode cirkels. Controleer of ze kloppen!

3 pagina 3 van 10 In de objecttypen moeten ook uniciteitsbeperkingen komen te staan. Titels voor programma's, dvdnummers, codes voor docenten, ze zijn allemaal uniek. Hieronder zie je waar deze beperkingen moeten staan. Je kunt de rollen nu selecteren door gewoon te klikken.

4 pagina 4 van 10 Totaliteitsbeperkingen bij de dvd's Om totaliteitsbeperkingen aan te brengen, moet je in het beperkingenmenu de tweede knopselecteren, dat is de knop met de stip. We bekijken weer het feittype ProgrammaDuur. Dit feittype heeft een totaliteitsbeperking over de rol van Programma, omdat een programma altijd een lengte (duur) heeft. Er is geen uniciteitsbeperking over Tijdsduur.

5 pagina 5 van 10 Selecteer de rol van Programma met Control-Klik. Klik daarna op de knop van de totaliteitsbeperking in het beperkingenmenu. Er verschijnt nu een stip aan het begin van de lijn van het objecttype naar de rol. Op dezelfde manier kun je ook de andere totaliteitsbeperkingen zetten. In het plaatje hieronder zijn ze aangegeven door rode pijlen. Controleer of ze kloppen!

6 pagina 6 van 10 Waardenregels bij de dvd's (extra) Met het casetool kun je ook waardenregels aangeven. Als voorbeeld nemen we het volgnummer voor de plaats van programma's op een dvd. We nemen aan dat er niet meer dan acht programma's op een dvd kunnen. De waarden voor het volgnummer zijn dus 1 tot en met 8. Selecteer eerst het labeltype waarvoor de waardenregel geldt, dat is nu dus volgnummer. Klik daarna op de knop van de waardenregel, met de accoladen

7 pagina 7 van 10 Er verschijnt nu een dialoogvenster waarin je de waarden kunt invullen. Vul 1 tot en met 8 in, iedere waarde op een nieuwe regel.

8 pagina 8 van 10 Nadat je op "Ok" hebt geklikt, verschijnt de waardenregel in het IGD. Hieronder zie je deze staan, samen met alle andere beperkingsregels.

9 pagina 9 van 10 Beperkingsregels weghalen Soms is een beperkingsregel niet goed ingevoerd. Je wilt deze dan weer weghalen. Dit gaat zo: Met klik-rechts op een feittype verschijnt een pop-up-menu met daarin de keuze Delete Intra Constraint. In een submenu staan de beperkingsregels genummerd, de nummers staan ook in het diagram. Hiermee verwijder je een beperkingsregel. UC staat voor uniciteitsbeperking (unicity constraint), TC staat voor totaliteitsbeperking (totality constraint), VC voor waardenregel (value constraint)

10 pagina 10 van 10