Hopp til første side KSDP steg 5 Legg til totale rollebeskrankninger, og se etter logiske utledninger.
Hopp til første side Adams C Browns S Collins T Kjønn F M Telefon ? Pasient (navn) Kjønn (kode) Telefon (tlfnr) Pasient Adams C Browns S Collins T FFMFFM Adams C Collins T
Hopp til første side Medlem (navn) Lag (kode) Dato (dmå) trener spiller for er født innmeldt Disjunktiv totale roller
Hopp til første side Beskrankninger og avledet faktatype Student (etternavn) Karakter (kode)...fikk...i standpunkt...fikk...på eksamen...fikk...på vitnemålet * * {Vitnemål karakter = (standpunkt + eksamen)/2 } Default: Alle beskrankninger på en avledet faktatype er mulig å avlede.
Hopp til første side Logiske utledninger Foreleser (etternavn) Institutt (kode)...arbeider for......arbeider i... Bygning (nr)...er lokalisert i...
Hopp til første side Forelesninger videre n Relasjonsskjema, n Relasjonsalgebra, 8.5 n Structured Query Language - SQL, Appendix C n Relational mapping procedure, deler av 8.3