Dagens tema: Ringskranker Klisjéer (mønstre) Tommelfingerregler

Transkript

1 UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Ringskranker Klisjéer (mønstre) Tommelfingerregler Institutt for informatikk INF michael@ifi.uio.no 1

2 Ringskranker INF

3 Refleksiv skranke x pop(r1) pop(r2) (x,x) pop(r1,r2) INF michael@ifi.uio.no 3

4 Irrefleksiv skranke (x,x) pop(r1,r2) INF

5 Symmetriskranke (x,y) pop(r1,r2) (y,x) pop(r1,r2) INF

6 Antisymmetriskranke (x,y) pop(r1,r2) x y (y,x) pop(r1,r2) INF michael@ifi.uio.no 6

7 Asymmetriskranke = antisymmetri + irrefleksivitet INF michael@ifi.uio.no 7

8 Transitiv skranke (x,y) pop(r1,r2) (y,z) pop(r1,r2) (x,z) pop(r1,r2) INF

9 Intransitiv skranke (x,y) pop(r1,r2) (y,z) pop(r1,r2) (x,z) pop(r1,r2) INF

10 Asyklisk skranke (x 1,x 2 ) pop(r1,r2)... (x n-1, x n ) pop(r1,r2) (x n, x 1 ) pop(r1,r2) INF michael@ifi.uio.no 10

11 Kombinerte ringskranker asyklisk og intransitiv asymmetrisk og intransitiv symmetrisk og intransitiv symmetrisk og irrefleksiv INF

12 Informasjonsmodellklisjéer Standardkonstruksjon som går igjen i modeller uavhengig av interesseområde Hode/linje-klisjéen Gruppeklisjéen Standard-med-unntak-klisjéen Beholdningsklisjéen Plasseringsklisjéen Hierarkiklisjéen Hierarkisk referansemåte Erstatningsklisjéen Bill-of-material -klisjéen Individualiseringsklisjéen Tidsakseklisjéen Frys-klisjéen INF michael@ifi.uio.no 12

13 Hode-linje-klisjéen Ekstern entydighet på bestilt/ordrehode dersom en vare ikke får gjentas på flere ordrelinjer innen en ordre INF

14 Gruppeklisjéen (gruppenr + varenr?) INF michael@ifi.uio.no 14

15 Standard-med-unntak-klisjéen For å finne hvilken avdeling som har ansvar for en vare, sjekker man først om varen har en unntaksrelasjon INF

16 Beholdningsklisjéen INF

17 Plasseringsklisjéen ekvivalente stier/ joinskranke? INF

18 Hierarkiklisjéen enkel variant INF

19 Hierarkiklisjéen spesielle varianter INF

20 Hierarkisk referansemåte INF

21 Erstatningsklisjéen familieløsningen INF

22 Bill-of-material -klisjéen realiseres ikke INF

23 Individualiseringsklisjéen INF

24 Tidsakseklisjéen INF

25 Frys-klisjéen INF

26 Tommelfingerregler Vær skeptisk overfor «mange-til-mange» (lange piler) og «en-til-en» (to korte piler) Total rolle står vanligvis på samme side som entydighetsskranken Entydighetsskranken omfatter sjelden mål, vekt, antall o.l. Entydighetsskranken omfatter (nesten) aldri to tidspunkter Manglende total rolle kan skjule et underbegrep Dersom flere stier fører fra et begrep til et annet, sjekk om det finnes overflødige faktatyper eller om vi har ekvivalente stier/ joinskranker Ikke formaliser fritekst det ikke skal søkes i Vær skeptisk overfor begrepsdannelser og underbegreper uten grupperende roller INF michael@ifi.uio.no 26

27 Tommelfingerregler (forts.) Roller som spilles av begrepsdannelser har som oftest en entydighetsskranke (intern eller ekstern) Bruk standardiserte referansemåter hvis de finnes Dersom to begreper har samme referansemåte, bør de sannsynligvis tilhøre samme underbegrepsfamilie Ikke baser informasjonsbærende referansemåter på ustabile fakta Gjør informasjonsmodellen robust mot forretningsmessige og politiske endringer (av forretningsreglene i interesseområdet) Et begrep som blir til et referanseskjema man ønsker å (men ikke må) beholde, mangler trolig en faktatype (f.eks. til en kodeforklaring) INF michael@ifi.uio.no 27