Introduksjon I126 Databaser og datamodellering Høsten 2000 Institutt for informatikk Universitet i Bergen

Hopp til første side Praktisk informasjon n Foreleser : Kjell Petersen n Kursside : n NB: Forelesning mandag Aud A, onsdag Aud B n Gruppeøvelser starter neste uke n Studieteknikk

Hva er en database? n En samling relaterte data n Fortrinnsvis en ordnet mengde data...

Hopp til første side Hvorfor bruke databasesystem? n Konsistens n Adgangskontroll / sikkerhet n Forskjellig bruk / behov i ulike deler av org. n Unngå dobbelt lagring n Administrasjon n Transaksjoner - kritiske overganger n Nye bruksområder

Databaseverden Bruker Administrator (DBA) Utvikler Server

Forskjellige nivåer Konseptuelt skjema Logisk skjema Internt skjema Beskrivende Object Role Model ORM Formell teorimodell Relasjons databaser Fysisk implementasjon DataBase Management System = DBMS Eksternt skjema SQL Rmap SQL

Det konseptuelle nivå Konseptuelt skjema Konseptuell Informasjons- behandler Konseptuell Database Universe of Discourse Struktur (design) Innhold (instanser)

Konseptuelt skjema deles inn i 3 seksjoner: n Base fact types - Grunnleggende faktatyper n Contraints - Beskrankninger n Derivation rules - Utledningsregler

Base fact types - Grunnleggende faktatyper n Primitive setninger eller fakta n Ikke utledet fra andre fakta i databasen n Definerer u objekter tillatt i UoD u hvordan de refereres (domene) u relasjoner de inngår F1 Person bor i By F2 Person er født i År Person(fornavn); By(navn); År(AD)+ Skjema: Person ’Davy’ bor i By ’Bergen’ Person ’Eli’ er født i År 1970 Instanser:

Contraints - Beskrankninger n Begrensninger og restriksjoner på en populasjon av faktatyper. n Statiske - må være oppfylt for alle tilstander av databasen. n Dynamiske - betingende, kontrollerer overganger fra en tilstand til en annen. C4 Person som har bodd i By ’Bergen’ kan ikke seinere bo i By ’Oslo’ C1 enhver Person bor i en By C2 enhver Person bor i høyst en By C3 enhver Person er født i høyst et År

Derivation rules - Utledningsregler n Hvordan utlede nye fakta fra andre fakta i databasen n Gjerne formulert i matematikk eller logikk syntaks. D1 Person x er onkel til Person y if x er bror til z and z er forelder til y D2 antallBarn(Person x) ::= count(x er forelder til en Person)

Hopp til første side Base Fact types : F1 Person bor i By F2 Person er født i År Reference schemes : Person(fornavn); By(navn); År(AD)+ Constraints :C1 enhver Person bor i en By C2 enhver Person bor i høyst en By C3 enhver Person er født i høyst et År Add: Person ’Eli’ er født i 1970 Avvist. C1 brutt. Add: Person ’Eli’ bor i By ’Trondheim’ Akseptert Add: Person ’Eli’ er født i 1970 Akseptert Add: Person ’Eli’ bor i By ’Oslo’Avvist. C2 brutt. Del: Person ’Eli’ bor i By ’Trondheim’Avvist. C1 brutt. (Derivation rules utelatt)

Hopp til første side Relasjonsdatabase n All informasjon er lagret i tabeller n En tabell kalles en relasjon Relasjonsnavn:Attributt 1Attributt 2Attributt 3 n En rad kalles også et tuppel n Rekkefølgen på radene spiller ingen rolle

Hopp til første side Relasjonskjema ansNavn Hansen Olsen Nilsen avdeling Salg Service kjønn K M K ansNavn Hansen Nilsen fremSpråk Spansk Fransk Japansk NilsenSpansk Snakker: Ansatt: Ansatt ( ansNavn, avdeling, kjønn ) Snakker ( ansNavn, fremSpråk ) Primær nøkkel Fremmed nøkkel

Hopp til første side Sammenheng n Enhver rad uttrykker et eller flere grunnleggende fakta. n Utfordringen er å spre informasjonen utover forskjellige tabeller på en hensiktsmessig måte