Forelesning INF1300. Simen Buodd. Plenumstime 8. September 2015

Størrelse: px

Begynne med side:

Download "Forelesning INF1300. Simen Buodd. Plenumstime 8. September 2015"

Oddvin Bjerke
7 år siden
Visninger:

1 Forelesning INF1300 Simen Buodd Plenumstime 8. September 2015

2 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» (hvis tid) Realisere eksempel «Softwarefirma» (hvis tid)

3 Oblig 3 Oppgave 1 Vi skal modellere medlemskap i foreninger og hvor mye medlemmene betaler i kontingent. En person kan gjerne være medlem av flere foreninger. Og det er ikke nødvendigvis slik at alle medlemmer i en forening betaler samme kontingent: for eksempel kan kontingenten avhenge av hvor gammel du er eller om du betaler for et halvt eller et helt år av gangen. Tegn først en ternær faktatype med de tre begrepene Person, Forening og Beløp og bestem hvilken/hvilke entydighetspiler som gjelder. Lag deretter et nytt begrep Medlemskap og vis hvordan modellen da skal se ut.

4 Oblig 3 Oppgave 2 I reglementet for valg av presidenter i USA finner vi denne regelen: En valgbar person kan velges som president i USA én gang og gjenvelges maksimalt én gang. Modeller denne regelen. Punkter å tenke på er: Hvilke begreper og roller skal vi ha Mengdeskranke(r) Kan modellen din uttrykke at en person ikke nødvendigvis må gjenvelges Kan modellen din uttrykke at en person må velges før han/hun gjenvelges Tilleggsspørsmål: Selv om punktene over besvares greit, er det likevel ett (opplagt?) problem som dukker opp. Ser du det? Kan det løses i ORM?

5 Oblig 3 Oppgave 3 Den tradisjonelle tankegangen med mann og kone gifter seg er moden for revisjon. Vi må med ny ekteskapslov snakke om Ektefelle snarere enn Mann/Kone. Modeller ekteskap mellom to personer slik at - ingen kan gifte seg mer enn én gang på en gitt dato (og da bare med én ektefelle) - man kan gifte seg med samme person flere ganger (men på forskjellige datoer) Tegn først en ternær setning som knytter samme de tre (to) begrepene Ektefelle, Ektefelle og Dag. Sett på (interne) entydigheter. Tegn deretter modellen når vi innfører begrepet Ekteskap. Hint: En faktatype kan ha mer enn én intern entydighet, og tilsvarende kan det være mer enn én ekstern entydighet i tilknytning til en begrepsdannelse

6 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» (hvis tid) Realisere eksempel «Softwarefirma» (hvis tid)

7 Oblig 3 - Oppgave 1 Forslag modell

8 Oblig 3 Oppgave 2 Forslag modell

9 Oblig 3 Oppgave 3 Forslag modell

10 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» (hvis tid) Realisere eksempel «Softwarefirma» (hvis tid)

11 Side 8 ORM-slide 3 - Realisering

12 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» (hvis tid) Realisere eksempel «Softwarefirma» (hvis tid)

13 Side 33 ORM-slide 3 - Realisering På en gitt dag låner en person debitoren et beløp fra en annen person - kreditoren

14 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» (hvis tid) Realisere eksempel «Softwarefirma» (hvis tid)

15 Eksterne mengdeskranker Oppgave 1 Kast ikke sten når du sitter i glasshus. Forsøk å skrive tekstlig hva det betyr når du plasserer mengdeskranken (ulikhet) på de tre mulige posisjonene.

16 Eksterne mengdeskranker Oppgave 1 Kast ikke sten når du sitter i glasshus. Forsøk å skrive tekstlig hva det betyr når du plasserer mengdeskranken (ulikhet) på de tre mulige posisjonene.

17 Eksterne mengdeskranker Oppgave 1 Kast ikke sten når du sitter i glasshus. Forsøk å skrive tekstlig hva det betyr når du plasserer mengdeskranken (ulikhet) på de tre mulige posisjonene.

18 Eksterne mengdeskranker Oppgave 1 Kast ikke sten når du sitter i glasshus. Forsøk å skrive tekstlig hva det betyr når du plasserer mengdeskranken (ulikhet) på de tre mulige posisjonene.

19 Eksterne mengdeskranker Oppgave 2 Selg ikke skinnet før bjørnen er skutt.

20 Eksterne mengdeskranker Oppgave 2 Selg ikke skinnet før bjørnen er skutt.

21 Eksterne mengdeskranker Oppgave 2 Selg ikke skinnet før bjørnen er skutt.

22 Eksterne mengdeskranker Oppgave 2 Selg ikke skinnet før bjørnen er skutt.

23 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» Realisere eksempel «Softwarefirma»

24 Se ORM-lite

25 Agenda Gjennomgå Oblig 3 Realisere Oblig 3 Gjennomgå oppgave side 8 på ORM-slide 3 Gjennomgå oppgave side 33 på ORM-slide 33 Oppgaver med eksterne mengdeskranker Realisere eksempel «Emnedatabase» Realisere eksempel «Softwarefirma»

26 Se ORM-lite

Like dokumenter

INF1300 Introduksjon til databaser

UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Begrepsdannelse Eksterne entydighetsskranker Verdiskranker Mengdeskranker INF1300 1.9.2008 Ellen Munthe-Kaas 1 Et eksempel fra virkeligheten