Samtidighetsfenomener og anomalier i eksekveringsplaner. INF Ellen Munthe-Kaas 1
|
|
- Carl Helle
- 7 år siden
- Visninger:
Transkript
1 Samtidighetsfenomener og anomalier i eksekveringsplaner INF Ellen Munthe-Kaas 1
2 Liste over fenomener og anomalier P0 Skitten skriv w 1 (x)..w 2 (x)..(c 1 eller a 1 ) P1 Skitten les w 1 (x)..r 2 (x)..(c 1 eller a 1 ) P2 Ikke-repeterbar les r 1 (x)..w 2 (x)..(c 1 eller a 1 ) P3 Fantomfenomen r 1 (Q)..w 2 (y i Q)..(c 1 eller a 1 ) A3 Fantomanomali r 1 (Q)..w 2 (y i Q)..c 2..r 1 (Q)..c 1 P4 Tapt oppdatering r 1 (x)..w 2 (x)..w 1 (x)..c 1 A5A Skjevlesing r 1 (x)..w 2 (x)..w 2 (y)..c 2..r 1 (y)..c 1 A5B Skjevskriving r 1 (x)..r 2 (y)..w 1 (y)..w 2 (x)..(c 1 og c 2 ) A6 Lesetransaksjons- r 2 (x)..r 2 (y)..w 1 (y)..c 1..r 3 (x)..r 3 (y)..c 3..w 2 (x)..c 2 anomali I P3 og A3 står Q for et predikat, dvs. svaret på et where-uttrykk. w 2 (y i Q) betyr at skriveoperasjonen w 2 (y) kan øke resultatmengden til Q. INF Ellen Munthe-Kaas 2
3 Skitten skriv T 1 oppdaterer x. Deretter oppdaterer T 2 x før T 1 committer eller avbryter. Hvis T 1 eller T 2 forsøker å gjøre en rollback, er det uklart hva som er korrekt verdi: T 2 s endringer forsvinner dersom T 1 gjør en rollback. Tillates skitten skriv, vil ikke gjenopprettelsessystemer fungere. P0: w 1 (x)..w 2 (x)..(c 1 eller a 1 ) INF Ellen Munthe-Kaas 3
4 Eksempler på skitten skriv-anomalier Integritetsregel: x=y Transaksjoner: T 1 : x:=1; y:=1 T 2 : x:=2; y:=2 Sett fra transaksjonsmanageren: T 1 : w 1 (x)w 1 (y) T 2 : w 2 (x)w 2 (y) Ikkeserialiserbar plan: [x=y=0] w 1 (x)w 2 (x)w 2 (y)c 2 w 1 (y)c 1 [x=2,y=1,x y] x og y skrives i forskjellig rekkefølge. Ikkegjenopprettbar plan: w 1 (x)w 2 (x)w 2 (y)w 1 (y)c 2 a 1 T 2 s endringer forsvinner dersom T 1 gjør en rollback, så man må kaskadetilbakerulle T 2 selv om den alt er committet(!), dette strider mot D-en i ACID. INF Ellen Munthe-Kaas 4
5 Skitten les T 1 oppdaterer x. Deretter leser T 2 x før T 1 committer eller avbryter. Dersom T 1 avbryter, vil T 2 ha lest en verdi som ikke finnes. I tillegg er det mulig for T 2 å lese inkonsistente data når den leser før T 1 har committet sine endringer. P1: w 1 (x)..r 2 (x)..(c 1 eller a 1 ) INF Ellen Munthe-Kaas 5
6 Eksempel på skitten les-anomali Integritetsregel: x+y=100 Transaksjoner: T 1 : x:=x-40; y:=y+40 T 2 : beregn x+y r 1 (x)w 1 (x)r 1 (y)w 1 (y) r 2 (x)r 2 (y) Eksekveringsplan: [x=y=50, x+y=100] r 1 (x)w 1 (x)r 2 (x)r 2 (y)c 2 r 1 (y)w 1 (y)c 1 [x=10, y=90, x+y=100] T 2 har lest en ikke-committet (skitten) x og konkluderer feilaktig at integritetsregelen er brutt (T 2 beregner x+y=60) INF Ellen Munthe-Kaas 6
7 Ikke-repeterbar les T 1 leser x. Deretter oppdaterer eller sletter T 2 x. Dersom T 1 forsøker å lese x en gang til, vil x ha en annen verdi eller ikke lenger finnes. Fenomenet opptrer når en transaksjon (T 2 ) kan oppdatere data som er blitt lest av en ennå aktiv transaksjon (T 1 ). Ikke-repeterbar les-anomalier kan oppstå uten at T 1 faktisk leser x to ganger og selv om T 1 bare leser committede verdier for x. P2: r 1 (x)..w 2 (x)..(c 1 eller a 1 ) INF Ellen Munthe-Kaas 7
8 Eksempel på ikke-repeterbar les-anomali T 1 : r 1 (x)r 1 (x)c 1 T 2 : r 2 (x)r 2 (x)w 2 (x)c 2 Transaksjonene er begge resultatet av følgende prosedyre: Finn ledig kinosete. Få bekreftelse fra kunde. Sjekk at setet fortsatt er ledig: Hvis ja, reserver, hvis nei, si at kunden må prøve på nytt. T 1 og T 2 prøver å reservere samme sete x. Bare T 2 lykkes. Eksekveringsplan: [x er ledig] r 1 (x)r 2 (x)r 2 (x)w 2 (x)c 2 [x er opptatt] r 1 (x)c 1 T 1 leser x to ganger og får forskjellig verdi. Flere eksempler finnes under skjevlesing, skjevskriving og lesetransaksjonsanomali, som alle er spesialtilfeller av ikke-repeterbar les. Eksempelet over dekkes imidlertid ikke av noen av de tre spesialtilfellene. INF Ellen Munthe-Kaas 8
9 Fantomer Under betegner Q et predikat. Q identifiserer en mengde av tupler som skal beskyttes mot enhver skriveoperasjon (write, delete, update) etter at T 1 har lest tuplene i Q og inntil T 1 avslutter. Predikater spesifiseres vanligvis som et uttrykk i where-betingelsen i en SQL select, update eller delete-setning. Fantomfenomener kan oppstå hvis en samtidig transaksjon T 2 øker resultatmengden til Q. Denne feilen kan oppstå uten at T 1 beregner Q to ganger. P3: r 1 (Q)..w 2 (y i Q)..(c 1 eller a 1 ) INF Ellen Munthe-Kaas 9
10 Eksempel på fantomanomali Integritetsregel: x = #(Ansatt) T 1 : sammenlikn resultatet av (select count(*) from Ansatt) med x T 2 : insert into Ansatt values a; x:=x+1 Sett fra transaksjonsmanageren: T 1 : r 1 (Ansatt)r 1 (x) T 2 : w 2 (a i Ansatt)r 2 (x)w 2 (x) Eksekveringsplan: [#(Ansatt)=x=100] r 1 (Ansatt)w 2 (a i Ansatt)r 2 (x)w 2 (x)c 2 r 1 (x)c 1 [#(Ansatt)=x=101] T 1 beregner #(Ansatt)=100, men leser x=101 og konkluderer feilaktig med at integritetsregelen er brutt. Dette er et eksempel på A3, men strengt tatt leser ikke T 1 Ansatt på nytt, så mønsteret angitt på side 2 er ikke generelt nok. INF Ellen Munthe-Kaas 10
11 Tapt oppdatering T 1 leser x. Deretter oppdaterer T 2 x (muligens basert på en tidligere leseoperasjon). Når så T 1 oppdaterer x og committer, forsvinner oppdateringen gjort av T 2. Dette er uavhengig av om T 2 committer eller ikke. P4: r 1 (x)..w 2 (x)..w 1 (x)..c 1 INF Ellen Munthe-Kaas 11
12 Eksempel på tapt oppdateringsanomali T 1 : x:=x+10 r 1 (x)w 1 (x) T 2 : x:=x+20 r 2 (x)w 2 (x) Eksekveringsplan: [x=100] r 1 (x)r 2 (x)w 2 (x)c 2 w 1 (x)c 1 [x=110] T 2 s oppdatering går tapt. Etter at både T 1 og T 2 var ferdige, skulle vi hatt x=130. INF Ellen Munthe-Kaas 12
13 Skjevlesing Dersom T 2 oppdaterer x og y før T 1 har avsluttet sine leseoperasjoner, kan T 1 produsere inkonsistent output. Skjevlesing er en versjon av ikkerepeterbar les (P2) ettersom begge lar T 2 oppdatere data som er blitt lest av en ennå aktiv transaksjon. A5A: r 1 (x)..w 2 (x).. w 2 (y)..c 2..r 1 (y)..c 1 Planer som følger A5A er aldri konfliktserialiserbare. INF Ellen Munthe-Kaas 13
14 Eksempel på skjevlesingsanomali Integritetsregel: x=y T 1 : les x og y T 2 : x:=x+10; y:=y+10 r 1 (x)r 1 (y) r 2 (x)w 2 (x)r 2 (y)w 2 (y) Eksekveringsplan: [x=y=10] r 1 (x)r 2 (x)w 2 (x)r 2 (y)w 2 (y)c 2 r 1 (y)c 1 [x=y=20] T 1 konkluderer feilaktig at integritetsregelen er brutt (T 1 leser x=10 og y=20). INF Ellen Munthe-Kaas 14
15 Skjevskriving T 1 leser x og y som tilfredsstiller en integritetsregel C. T 2 leser også x og y, skriver x og committer. Dersom T 1 nå skriver y, kan integritetsregelen C være brutt. Skjevskriving er, som skjevlesing, en versjon av ikkereperterbar les (P2). A5B: r 1 (x)..r 2 (y).. w 1 (y)..w 2 (x)..(c 1 og c 2 ) Planer som følger A5B er aldri konfliktserialiserbare. INF Ellen Munthe-Kaas 15
16 Eksempel på skjevskrivingsanomali Integritetsregel: x y T 1 : if x>y then y:=y+1 T 2 : if x>y then x:=x-1 r 1 (x)r 1 (y)w 1 (y) r 2 (x)r 2 (y)w 2 (x) Eksekveringsplan: [x=10,y=9, x y] r 1 (x)r 1 (y)r 2 (x)r 2 (y)w 1 (y)w 2 (x)c 2 c 1 [x=9,y=10, x<y] Integritetsregelen er brutt. INF Ellen Munthe-Kaas 16
17 Lesetransaksjonsanomali T 3 er en ren lesetransaksjon. T 3 leser x og y som oppfyller en integritetsregel C. To samtidige transaksjoner T 1 og T 2 modifiserer henholdsvis x og y. Selv om C bevares, kan T 3 produsere inkonsistent output. Lesetransaksjonsanomali er også en versjon av ikkereperterbar les (P2). A6: r 2 (x)..r 2 (y)..w 1 (y)..c 1..r 3 (x)..r 3 (y)..c 3..w 2 (x)..c 2 Planer som følger A6 er aldri konfliktserialiserbare. INF Ellen Munthe-Kaas 17
18 Eksempel på lesetransaksjonsanomali Integritetsregel: x y T 1 : y:=y-1 T 2 : if x>y+1 then x:=x-2 else x:=x-1 T 3 : les x og y r 1 (y)w 1 (y) r 2 (x)r 2 (y)w 2 (x) r 3 (x)r 3 (y) Eksekveringsplan: [x=10,y=9,x y] r 2 (x)r 2 (y)r 1 (y)w 1 (y)c 1 r 3 (x)r 3 (y)c 3 w 2 (x)c 2 [x=9,y=8,x y] T 3 observerer at (x,y)=(10,8), men dette kan ikke forklares ved T 3 ;T 2 ;T 1, T 2 ;T 3 ;T 1 eller T 2 ;T 1 ;T 3, for da hadde T 3 konkludert med henholdsvis (x,y)=(10,9), (x,y)=(9,9) eller (x,y)=(9,8). Og heller ikke ved T 3 ;T 1 ;T 2, T 1 ;T 3 ;T 2 eller T 1 ;T 2 ;T 3, for da hadde sluttilstanden vært x=y=8. INF Ellen Munthe-Kaas 18
Samtidighetsfenomener og anomalier i eksekveringsplaner (kursorisk) INF3100 Ellen Munthe-Kaas 1
Samtidighetsfenomener og anomalier i eksekveringsplaner (kursorisk) INF3100 Ellen Munthe-Kaas 1 Liste over fenomener P0 Skitten skriv w 1 (x)..w 2 (x)..(c 1 eller a 1 ) P1 Skitten les w 1 (x)..r 2 (x)..(c
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Institutt for Informatikk INF3100 15.3.2012 Ellen Munthe-Kaas 1 Samtidighetsfenomener og -anomalier Dette er uønskede «merkverdigheter» som kan inntreffe
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Ragnar Normann INF3100 12.4.2010 Ragnar Normann 1 Samtidighetsfenomener og -anomalier Dette er uønskede «merkverdigheter» som kan inntreffe i eksekveringsplaner.
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Institutt for Informatikk INF3100 17.3.2014 Ellen Munthe-Kaas 1 Samtidighetsfenomener og -anomalier Dette er uønskede «merkverdigheter» som kan inntreffe
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Institutt for Informatikk INF3100 10.3.2015 Ellen Munthe-Kaas 1 Samtidighetsfenomener og -anomalier Dette er uønskede «merkverdigheter» som kan inntreffe
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Institutt for Informatikk INF3100 4.4.2016 Ellen Munthe-Kaas 1 Samtidighetsfenomener og -anomalier Dette er uønskede «merkverdigheter» som kan inntreffe
DetaljerDBMS Database Management System (repetisjon) Programmeringsgrensesnitt. Serialiserbarhet
DBMS Database Management System (repetisjon) Spesialisert SW Karakteristika: Persistens Transaksjonshåndtering A tomicity C onsistency I solation D urability Programmeringsgrensesnitt INF212 v2003 1 Serialiserbarhet
DetaljerINF3100 V2018 Obligatorisk oppgave nr. 2
INF3100 V2018 Obligatorisk oppgave nr. 2 Oppgavesettet skal løses og leveres individuelt. Gjennomføring og innlevering av oppgaven skal skje i henhold til gjeldende retningslinjer ved Institutt for informatikk,
DetaljerIsolasjon i postgres og mysql
Isolasjon i postgres og mysql Evgenij Thorstensen V19 Evgenij Thorstensen Isolasjon i postgres og mysql V19 1 / 20 Isolasjonsnivåer Read uncommitted Read committed Repeatable read Serializable SELECT...
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: ORM og normalisering Denormalisering og splitting Transaksjonshåndtering INF1300 17.11.2010 Ellen Munthe-Kaas 1 ORM og normalisering
DetaljerRepetisjonsforelesning, SQL og utover
Repetisjonsforelesning, SQL og utover Evgenij Thorstensen V18 Evgenij Thorstensen Repetisjon V18 1 / 23 Temaer SQL, semantikk Databasearkitektur Spørringskompilering og optimisering Indekser Transaksjonshåndtering
Detaljer1. SQL datadefinisjon og manipulering
Avdeling for informatikk og e-læring, Høgskolen i Sør-Trøndelag SQL datadefinisjon og manipulering Tore Mallaug 7.10.2008 Lærestoffet er utviklet for faget Databaser 1. SQL datadefinisjon og manipulering
DetaljerTransaksjoner. transaksjon. når starter/slutter 1 trans.?
Transaksjoner IBE211 Kap. 10 feil mediefeil: disk feiler må gjenopprette (fra sikkerhetskopi, kap. 11) instansfeil: databasen stopper midt i noe tilbakeføring (rollback) til konsistent samtidighet når
DetaljerTransaksjonshåndtering Del 2
UNIVERSITETET I OSLO Transaksjonshåndtering Del 2 Ragnar Normann Noen figurer er basert på en original laget av Hector Garcia-Molina INF3100 10.3.2008 Ellen Munthe-Kaas 1 En ny type serialiseringsprotokoll
DetaljerTransaksjonshåndtering Del 3
UNIVERSITETET I OSLO Transaksjonshåndtering Del 3 Ragnar Normann INF3100 24.3.2009 Ragnar Normann 1 Serialiserbarhet Vi har tidligere definert serialiserbarhet på denne måten: En eksekveringsplan kalles
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF3100 Databasesystemer Eksamensdag: 11. juni 2013 Tid for eksamen: 9.00 13.00 Oppgavesettet er på 6 sider. Vedlegg: ingen Tillatte
DetaljerSystemfeil og logging
UNIVERSITETET I OSLO Systemfeil og logging Institutt for Informatikk INF3100 2.3.2016 Ellen Munthe-Kaas 1 Integritetsregler Vi ønsker at data alltid skal være korrekte: Integritetsregler er predikater
DetaljerUNIVERSITETET I OSLO Institutt for informatikk. En teoretisk studie av Snapshot Isolation. Masteroppgave 60 studiepoeng. Lene T.
UNIVERSITETET I OSLO Institutt for informatikk En teoretisk studie av Snapshot Isolation Masteroppgave 60 studiepoeng Lene T. Østby 24. april 2008 Innhold 1 Innledning 1 1.1 Problemstilling............................
DetaljerIntegritetsregler i SQL. Primærnøkler
Integritetsregler i SQL Kandidat- og primærnøkler Referanseintegritet - fremmednøkler Domenebegrensende integritetsregler skranker på attributter og tupler Interrelasjonsskranker assertions Triggere INF212
DetaljerTransaksjonshåndtering Del 2
UNIVERSITETET I OSLO Transaksjonshåndtering Del 2 Institutt for Informatikk INF3100 14.3.2014 Ellen Munthe-Kaas 1 En ny type serialiseringsprotokoll Hittil har vi bare sett på 2PL-baserte protokoller Alle
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: SQL: Outer join Denormalisering og splitting Transaksjoner og ACID-reglene DBMSer en introduksjon til INF3100 INF1300 19.11.2007 Ragnar
DetaljerIntegritetsregler i SQL
UNIVERSITETET I OSLO Integritetsregler i SQL INF3100 8.2.2005 Ragnar Normann 1 Integritetsregler i SQL Kandidat- og primærnøkler Referanseintegritet - fremmednøkler Domenebegrensende integritetsregler
DetaljerIntegritetsregler i SQL
UNIVERSITETET I OSLO Integritetsregler i SQL Institutt for Informatikk INF3100 13.2.2007 Ellen Munthe-Kaas 1 Integritetsregler i SQL Kandidat- og primærnøkler Referanseintegritet - fremmednøkler Domenebegrensende
DetaljerPresentasjon av doktorgradsprosjekt
Presentasjon av doktorgradsprosjekt Fredag Jon Grov Tre deler Del 1 - litt om transaksjonshåndtering. Del 2 - om doktorgradsarbeidet. Del 3 - bittelitt om Python og SimPy (bare hvis vi har tid). 1 av 14
DetaljerTransaksjonshåndtering Del 2
UNIVERSITETET I OSLO Transaksjonshåndtering Del 2 Ragnar Normann Noen figurer er basert på en original laget av Hector Garcia-Molina INF3100 3.5.2005 Ragnar Normann 1 En ny type serialiseringsprotokoll
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET IOSLO INF1300 Introduksjon til databaser Dagens tema: ORM og normalisering Denormalisering og splitting Triggere og databasefunksjoner Transaksjonshåndtering INF1300 2.11.2011 Ellen Munthe-Kaas
DetaljerTransaksjoner og flerbrukerproblematikk. Transaksjoner
LC238D http://www.aitel.hist.no/fag/_dmdb/ Transaksjoner og flerbrukerproblematikk Transaksjoner side 2-4 Låseteknikker side 5 Isolasjonsnivåer side 6-7 Flerbrukerproblemer i fbm utførelse av transaksjoner
DetaljerDatamodellering og databaser SQL, del 2
http://www.aitel.hist.no/fag/_dmdb/ SQL, del 2 Eksempelbase side 2 Virtuelle tabeller (views) side 3-6 NULL-verdier side 7-14 UPDATE-setningen side 15-16 INSERT-setningen side 17 DELETE-setningen side
DetaljerOppgave: Finn navn og tittel på alle som har arbeidet på prosjektet «Vintersalg»
Skjema Prosjekt(PId, Pnavn, KId, Pleder, StartDato) Ansatt(AId, Navn, Tittel, Fdato, Pnr, AnsDato) Timeliste(AId, Dato, PId, Timer) Kunde(KId, Knavn, Adresse) Oppgave: Finn navn og tittel på alle som har
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-1.2.2010 Ellen Munthe-Kaas 1 Normalformer Normalformer er et uttrykk for hvor godt vi har lykkes i en dekomposisjon
DetaljerTransaksjoner og flerbrukerproblematikk. Transaksjoner
LC238D http://www.aitel.hist.no/fag/_dmdb/ Transaksjoner og flerbrukerproblematikk Transaksjoner side 2-4 Låseteknikker side 5 Isolasjonsnivåer side 6-7 Flerbrukerproblemer i fbm utførelse av transaksjoner
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF300 Introduksjon til databaser Dagens tema: Oppdateringsanomalier Normalformer INF300..007 Ellen Munthe-Kaas Hva kjennetegner god relasjonsdatabasedesign? Relasjonene samler beslektet
DetaljerRepetisjon av transaksjonshåndtering og samtidighetskontroll. Lana Vu
Repetisjon av transaksjonshåndtering og samtidighetskontroll Lana Vu anhlv@ifi.uio.no Repetisjon ACID- egenskapene Transaksjon Eksekveringsplan og serialiserbarhet Konfliktserialiserbarhet og presedensgraf
DetaljerTransaksjonshåndtering og samtidighetskontroll
UNIVERSITETET IOSLO Transaksjonshåndtering og samtidighetskontroll Institutt for Informatikk INF3100 1.3.2011 Ellen Munthe-Kaas 1 Transaksjoner En transaksjon er en sekvensens av operasjoner som bevarer
DetaljerDatamodellering og databaser SQL, del 2
http://www.aitel.hist.no/fag/_dmdb/ SQL, del 2 Eksempelbase side 2 Virtuelle tabeller (views) side 3-6 NULL-verdier side 7-14 UPDATE-setningen side 15-16 INSERT-setningen side 17 DELETE-setningen side
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF300 Introduksjon til databaser Dagens tema: Oppdateringsanomalier Normalformer INF300 7.0.008 Ellen Munthe-Kaas Hva kjennetegner god relasjonsdatabasedesign? Relasjonene samler
DetaljerSQL 3: Opprette tabeller, datainnsetting og utsnitt
SQL 3: Opprette tabeller, datainnsetting og utsnitt Læreboka kap. 4 03.11.2008 Kjell Toft Hansen 1 Datainnsetting Legg til en ny leverandor i tabellen leverandor INSERT INTO leverandor (lev_nr, lev_navn,
DetaljerMetaspråket for å beskrive grammatikk
1 SQL-syntaks Korrekt språkbruk bygger på et sett av regler. Eksempler: En SQL utvalgsspørring inneholder alltid ordene SELECT og FROM, mens WHERE og tilhørende betingelse er valgfri. Etter SELECT kan
DetaljerHva har vi gjort? SQL og Databasedesign
Hva har vi gjort? SQL og Databasedesign HVA? Begrepsmessig databasedesign E/R diagram Logisk databasedesign Tabeller HVORDAN? Fysisk databasedesign Filer Indekser Etter vi har behandlet de mer statiske
DetaljerNormalformer or Normalisering 1NF, 2NF, 3NF, BCNF
Normalformer or Normalisering 1NF, 2NF, 3NF, BCNF Martin Giese 7. november 2018 1 Agenda Nytt eksempel Med funksjonelle avhengigheter 1NF (veldig kort) 2NF, Grundig Hva er vitsen? anomalier Få eksemplet
DetaljerTransaksjonshåndtering og samtidighetskontroll
UNIVERSITETET I OSLO Transaksjonshåndtering og samtidighetskontroll Institutt for Informatikk INF3100 7.3.2016 Ellen Munthe-Kaas 1 Transaksjoner En transaksjon er en sekvens av operasjoner som bevarer
DetaljerUNIVERSITETET. Relasjonsdatabasedesign
UNIVERSITETET IOSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-31.1.2011 Ellen Munthe-Kaas 1 Hvordan dekomponere tapsfritt Fagins teorem Gitt et relasjonsskjema R(XYZ) med FDer
DetaljerOppdateringsanomalier Normalformer
UNIVERSITETET I OSLO INF300 Introduksjon til databaser Dagens tema: Oppdateringsanomalier Normalformer Institutt for informatikk INF300 26.0.2009 Ellen Munthe-Kaas Hva kjennetegner god relasjonsdatabasedesign?
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. juni 2008 Tid for eksamen: 14.30 17.30 Oppgavesettet er på 5 sider. Vedlegg: Tillatte hjelpemidler: INF3100 Databasesystemer
DetaljerUNIVERSITETET SQL. Structured Query Language (forts.) Institutt for Informatikk. INF Ellen Munthe-Kaas 1
UNIVERSITETET IOSLO SQL Structured Query Language g (forts.) Institutt for Informatikk INF3100 9.2.2009 Ellen Munthe-Kaas 1 null Resultatet av å evaluere et uttrykk som produserer en skalar verdi, kan
DetaljerDatamodellering og databaser http://www.aitel.hist.no/fag/_dmdb/ SQL, del 2
http://www.aitel.hist.no/fag/_dmdb/ SQL, del 2 Eksempelbase side 2 Virtuelle tabeller (views) side 3-6 NULL-verdier side 7-14 UPDATE-setningen side 15-16 INSERT-setningen side 17 DELETE-setningen side
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-22.1.2013 Ellen Munthe-Kaas 1 Hvordan dekomponere tapsfritt Fagins teorem Gitt en relasjon R(XYZ) med FDer F.
DetaljerUNIVERSITETET I OSLO SQL. Structured Query Language. (forts.) Institutt for Informatikk. INF Ragnar Normann 1
UNIVERSITETET I OSLO SQL Structured Query Language (forts.) Institutt for Informatikk INF3100 7.2.2005 Ragnar Normann 1 null Resultatet av å evaluere et uttrykk som produserer en skalar verdi, kan være
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF3100 Databasesystemer Eksamensdag: 13. juni 2016 Tid for eksamen: 14.30 18.30 Oppgavesettet er på 6 sider. Vedlegg: ingen
DetaljerTilkobling og Triggere
Tilkobling og Triggere Lars Vidar Magnusson October 12, 2011 Lars Vidar Magnusson () Forelesning i DAS 11.10.2011 October 12, 2011 1 / 25 Tilkobling med PHP PHP bruker databasespesifike moduler til å koble
DetaljerSystemfeil og logging
UNIVERSITETET I OSLO Systemfeil og logging Institutt for Informatikk INF3100 7.3.2014 Ellen Munthe-Kaas 1 Integritetsregler Vi ønsker at data alltid skal være korrekte: Integritetsregler er predikater
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Flerverdiavhengigheter Høyere normalformer Institutt for Informatikk INF3100-1.2.2016 Ellen Munthe-Kaas 1 Flerverdiavhengigheter FDer uttrykker "en Y for hver
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-26.1.2015 Ellen Munthe-Kaas 1 Normalformer Normalformer er et uttrykk for hvor godt vi har lykkes i en dekomposisjon
DetaljerTransaksjonshåndtering og samtidighetskontroll
UNIVERSITETET I OSLO Transaksjonshåndtering og samtidighetskontroll Ragnar Normann Mange lysark er basert på en original laget av Hector Garcia-Molina INF3100 26.4.2005 Ragnar Normann 1 Transaksjoner En
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Flerverdiavhengigheter Høyere normalformer Institutt for Informatikk INF3100-27.1.2015 Ellen Munthe-Kaas 1 Flerverdiavhengigheter Flerverdiavhengigheter brukes
DetaljerSQL: Integritetsregler, triggere og views
UNIVERSITETET I OSLO SQL: Integritetsregler, triggere og views Institutt for Informatikk INF3100 14.2.2014 Ellen Munthe-Kaas 1 Integritetsregler i SQL Kandidat- og primærnøkler Referanseintegritet fremmednøkler
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Oppdateringsanomalier Dekomponering Normalformer Institutt for Informatikk INF300-9..007 Ellen Munthe-Kaas Hva kjennetegner god relasjonsdatabasedesign? Beslektet
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-25.1.2016 Ellen Munthe-Kaas 1 Normalformer Normalformer er et uttrykk for hvor godt vi har lykkes i en dekomposisjon
DetaljerRelasjonsdatabasedesign. Ekstramateriale: Normalformer utover 4NF (ikke pensum)
UNIVERSITETET I OSLO Relasjonsdatabasedesign Ekstramateriale: Normalformer utover 4NF (ikke pensum) Institutt for Informatikk INF3100-26.1.2012 Ellen Munthe-Kaas 1 Høyere normalformer, oversikt 1NF BCNF
DetaljerORDBMS og OODBMS i praksis
ORDBMS og OODBMS i praksis Lars Vidar Magnusson November 2, 2011 Lars Vidar Magnusson () Forelesning i DAS 01.11.2011 November 2, 2011 1 / 18 Eksempler på ORDBMS Flere av de store databaser i dag hevder
DetaljerProsedyrer. Lars Vidar Magnusson. October 26, Lars Vidar Magnusson () Forelesning i DAS October 26, / 19
Prosedyrer Lars Vidar Magnusson October 26, 2011 Lars Vidar Magnusson () Forelesning i DAS 11.10.2011 October 26, 2011 1 / 19 Repetisjon om triggere og prosedyrer Triggere og prosedyrer ligner på hverandre
DetaljerUtvikling fra kjernen og ut
Utvikling fra kjernen og ut PHP-arkitektur Brukergrensesnitt! inn ut Dynamisk web-side bygges opp på grunnlag av spørring mot databasen Utviklingsretning Applikasjon Virkelighetsmodell Plattform Bruker
DetaljerUNIVERSITETET I OSLO SQL. Structured Query Language. (forts.) Institutt for Informatikk. INF Ellen Munthe-Kaas 1
UNIVERSITETET I OSLO SQL Structured Query Language (forts.) Institutt for Informatikk INF3100 11.2.2008 Ellen Munthe-Kaas 1 null Resultatet av å evaluere et uttrykk som produserer en skalar verdi, kan
DetaljerOppgave 1 (Opprett en database og en tabell)
Oppgave 1 (Opprett en database og en tabell) 1) I «Object Explorer» (i «SQL Server Management Studio»), høyreklikk over Databases : 1 2 2) Skriv så databasenavnet og klikk OK: 3) Plasser så kursoren på
DetaljerDagens tema: Oppdateringsanomalier Normalformer
UNIVERSITETET I OSLO INF300 Introduksjon til databaser Dagens tema: Oppdateringsanomalier Normalformer Institutt for informatikk INF300 08..0 michael@ifi.uio.no Hva kjennetegner god relasjonsdatabasedesign?
DetaljerDBS20 - Introduksjon til transaksjonsprosessering og teori
Side 1 for Databaser DBS20 - Introduksjon til transaksjonsprosessering og teori søndag 29. mai 2016 21.15 Pensum: 20.1-20-6, side 745-776, untatt 2.5.4 og 2.5.5 20.1 Introduksjon til transaksjonsprosessering
DetaljerSpørsmålskompilering del 1
UNIVERSITETET I OSLO Spørsmålskompilering del 1 Parsering Logiske spørreplaner uttrykt i relasjonsalgebra Optimalisering ved hjelp av algebraiske lover Institutt for Informatikk INF3100-11.4.2016 - Ellen
DetaljerHVA ER XML? extensible Markup Language En standardisert måte å strukturere ulike typer data Åpent format Enkelt:
HVA ER XML? extensible Markup Language En standardisert måte å strukturere ulike typer data Åpent format Enkelt: Tagger/Noder Attributter Mest kjente XML-versjon er XHTML En mengde datakilder er tilgjengelige
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Normalformer Institutt for Informatikk INF3100-20.1.2014 Ellen Munthe-Kaas 1 Hvordan dekomponere tapsfritt Fagins teorem Gitt en relasjon R(XYZ) med FDer F.
DetaljerBruke SQL fra Python. Med Psycopg2
Bruke SQL fra Python Med Psycopg2 0 1 (1/3) 1 (2/3) 1 (3/3) 2 Pakken psycopg2 3 Pakken psycopg2 De viktigste klassene vi trenger i psycopg2: connection Håndterer forbindelsen fra Python til PostgreSQL
DetaljerVideregående programmering 6
Videregående programmering 6 1. Feilkontroll i klasser uten unntaksobjekter Klasser skal lages sikre. Argumentverdier skal kontrolleres, og eventuelle feil skal rapporteres til klienten. I praksis har
DetaljerSpørsmålskompilering del 1
UNIVERSITETET I OSLO Spørsmålskompilering del 1 Parsering Logiske spørreplaner uttrykt i relasjonsalgebra Optimalisering ved hjelp av algebraiske lover Institutt for Informatikk INF3100 - V18 - Evgenij
DetaljerHØGSKOLEN I SØR-TRØNDELAG
HØGSKOLEN I SØR-TRØNDELAG Avdeling for informatikk og e-læring Kandidatnr: Eksamensdato: 15. desember 2003 Varighet: 0900 1200 Fagnummer: Fagnavn: Klasse(r): LV193D Web-programmering med JSP NETT Studiepoeng:
DetaljerUNIVERSITETET SQL-99. Institutt for Informatikk. INF Ellen Munthe-Kaas 1
UNIVERSITETET IOSLO Objektrelasjonelle DBMSer. SQL-99 Institutt for Informatikk INF3100 2.3.2009 Ellen Munthe-Kaas 1 Objektrelasjonelle DBMSer ORDBMS = Object-Relational Database Management System Motivasjon:
DetaljerSQL Structured Query Language. Definere tabeller Skranker Fylle tabeller med data
SQL Structured Query Language Definere tabeller Skranker Fylle tabeller med data Lage en tabell med SQL create table R (A 1 D 1 [S 1 ],... A n D n [S n ], [liste av skranker] R er navnet på relasjonen/tabellen
Detaljer(define (naer-nok-kuberot? y x) (< (abs (- (kube y) x)) 0.001)) (define (naermere-kuberot y x) (/ (+ (* y 2) (/ x (kvadrat y))) 3))
Oppgave 1 For å komme nærmere kuberoten (tredjeroten) til et tall x fra en foreløpig tilnærming y, kan vi bruke formelen (2y + x/y 2 )/3. Skriv prosedyrene (nær-nok-kuberot? y x), (nærmere-kuberot y x)
DetaljerERP SOM KONKURRANSEFORTRINN. Er ERP kult lenger da?
ERP SOM KONKURRANSEFORTRINN Er ERP kult lenger da? HYPOTESER OM ERP FEM ÅR FREM ERP systemer vil ikke ha GUI (som i dag) Alt som kan automatiseres vil være automatisert Boligbyggelagenes primære rolle
DetaljerRelasjonsdatabasedesign
UNIVERSITETET IOSLO Relasjonsdatabasedesign Flerverdiavhengigheter Høyere normalformer Institutt for Informatikk INF3100-1.2.2011 Ellen Munthe-Kaas 1 Flerverdiavhengigheter Generalisering av FDer Flerverdiavhengigheter
Detaljerndtering og samtidighetskontroll
INF3100 Databasesystemer Transaksjonshåndtering ndtering og samtidighetskontroll Ragnar Normann Mange lysark er basert på en original laget av Hector Garcia-Molina Transaksjoner En transaksjon er en samling
DetaljerFor alle ikke-trivielle FDer X A i R: eller A er et nøkkelattributt i R eller X K for noen kandidatnøkkel K i R
1NF-BCNF For alle ikke-trivielle FDer X A i R: X er en supernøkkel i R eller A er et nøkkelattributt i R eller X K for noen kandidatnøkkel K i R 1 Normalisering Finn alle ikke-trivielle ti i FDer som gjelder
DetaljerSikkerhet og tilgangskontroll i RDBMS-er
Sikkerhet og tilgangskontroll i RDBMS-er IN2090 14. nov 2018 Mathias Stang 1 Agenda Modeller for tilgangskontroll Brukere og roller i RDBMS-er GRANT og REVOKE SQL Injections 2 Hovedmål med databasesikkerhet
DetaljerOppgave 1 Datamodellering 22 %
Side 1 av 8 Norges teknisk-naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap LØSNINGSFORSLAG TIL EKSAMENSOPPGAVE I FAG TDT4145 DATAMODELLERING OG DATABASESYSTEMER Eksamensdato:
DetaljerSystemfeil og logging
UNIVERSITETET IOSLO Systemfeil og logging Institutt for Informatikk INF3100 28.2.2011 Ellen Munthe-Kaas 1 Korrekthet av data Vi ønsker at data alltid skal være riktige og nøyaktige Eksempel på tvilsomme
DetaljerDatabaser kort intro. Tom Heine Nätt
Databaser kort intro Tom Heine Nätt Agenda Hva er en database? Hva er SQL? Hente ut data fra en database SELECT Behandle data i en database (kort) CREATE TABLE, INSERT, UPDATE, DELETE Databaser med flere
DetaljerAndre sett obligatoriske oppgaver i INF3100 V2010
Andre sett obligatoriske oppgaver i INF3100 V2010 Oppgavesettet skal i utgangspunktet løses av grupper på to og to studenter som leverer felles besvarelse. Vi godkjenner også individuelle besvarelser,
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF212 Databaseteori Eksamensdag: 28. mai 2003 Tid for eksamen: 9.00 15.00 Oppgavesettet er på 8 sider. Vedlegg: Tillatte hjelpemidler:
DetaljerAndre sett obligatoriske oppgaver i INF3100 V2013
Andre sett obligatoriske oppgaver i INF3100 V2013 Oppgavesettet skal i utgangspunktet løses av grupper på to og to studenter som leverer felles besvarelse. Vi godkjenner også individuelle besvarelser,
DetaljerINF1300 Relasjonsalgebra. Et matematisk fundament for å forstå SQL-setninger
INF1300 Relasjonsalgebra Et matematisk fundament for å forstå SQL-setninger Innhold Relasjonsalgebraen Operatorene i relasjonsalgebraen Relasjonsalgebratolkning av select-setningen Kostbare operasjoner
DetaljerSystemaspekter ved SQL
UNIVERSITETET I OSLO Systemaspekter ved SQL INF3100 14.2.2005 Ragnar Normann 1 SQL-omgivelser SQL-omgivelse cluster katalog katalog katalog skjema skjema INF3100 14.2.2005 Ragnar Normann 2 SQL-omgivelse
DetaljerRelasjonsdatabasedesign
UNIVERSITETET I OSLO Relasjonsdatabasedesign Funksjonelle avhengigheter Oppdateringsanomalier Dekomponering Institutt for Informatikk INF300-6..00 Ellen Munthe-Kaas Definisjon av nøkler Gitt et relasjonsskjema
DetaljerAndre sett obligatoriske oppgaver i INF3100 V2012
Andre sett obligatoriske oppgaver i INF3100 V2012 Oppgavesettet skal i utgangspunktet løses av grupper på to og to studenter som leverer felles besvarelse. Vi godkjenner også individuelle besvarelser,
DetaljerHøgskolen i Telemark EKSAMEN 6102 DATABASER 10.12.2015. Tid: 10-14. Hjelpemidler: Vedlegg: Eksempeldata til oppgave 1
Høgskolen i Telemark EKSAMEN 6102 DATABASER 10.12.2015 Tid: 10-14 Målform: Sidetall: Hjelpemidler: Merknader: Bokmål/nynorsk 13 med forside Ingen Ingen Vedlegg: Eksempeldata til oppgave 1 Eksamensresultater
DetaljerNormalformer utover 4NF (ikke pensum)
UNIVERSITETET I OSLO Normalformer utover 4NF (ikke pensum) Institutt for Informatikk INF3100 - Ellen Munthe-Kaas 1 Høyere normalformer, oversikt 1NF BCNF 4NF ETNF RFNF = KCNF SKNF 5NF INF3100 - Ellen Munthe-Kaas
DetaljerNormalisering. Hva er normalisering?
LC238D http://www.aitel.hist.no/fag/_dmdb/ Normalisering Hva er normalisering? side 2 Normaliseringens plass i utviklingsprosessen side 3 Eksempel side 4 Funksjonell avhengighet side 5-6 Første normalform
DetaljerAvansert bruk av SQL. Avanserte spørringer Valguttrykk Spørring på spørring Unionspørringer Delspørringer, vekselvirkende delspørringer Kvantorer
Avansert bruk av SQL Avanserte spørringer Valguttrykk Spørring på spørring Unionspørringer Delspørringer, vekselvirkende delspørringer Kvantorer Begrensninger ved SQL Pensum: Kapittel 5 Databaser Leksjon
DetaljerEffektiv eksekvering av spørsmål
UNIVERSITETET I OSLO Effektiv eksekvering av spørsmål Spørsmålshåndtering Modell for kostnadsberegning Kostnad for basisoperasjoner Implementasjonsalgoritmer Institutt for Informatikk INF3100 6.4.2016
DetaljerUNIVERSITETET I OSLO RELASJONSALGEBRA. Regning med relasjoner. Institutt for Informatikk. INF Ellen Munthe-Kaas 1
UNIVERSITETET I OSLO RELASJONSALGEBRA Regning med relasjoner Institutt for Informatikk INF3100-8.2.2010 Ellen Munthe-Kaas 1 Relasjonsalgebraen definerer en mengde av operasjoner på relasjoner gir oss et
Detaljer