INF5030. Håndtering av virksomhetskritiske data
|
|
- Atle Aas
- 7 år siden
- Visninger:
Transkript
1 UNIVERSITETET I OSLO INF5030 Håndtering av virksomhetskritiske data Jon Grov Ragnar Normann 8. september 2005 INF Jon Grov 1
2 Introduksjon Tema for kurset er transaksjonshåndtering Vi er altså interessert i verktøy som sikrer at for eksempel helsevesen banker transportselskaper kan lagre data sikkert og effektivt. 8. september 2005 INF Jon Grov 2
3 Om kursholderne Ragnar Normann Ifis databaseveteran Designet store databaser for Control Data fra 1984 til Jon Grov Stipendiat ved Ifi Skal skrive doktorgrad om transaksjonshåndtering i replikerte databaser. 8. september 2005 INF Jon Grov 3
4 Dagens forelesning Del 1: Om kurset Målene med kurset Undervisnings- og vurderingsopplegg Del 2: Transaksjoner Hva er transaksjoner egentlig? Og hva kan vi bruke dem til? Forsmak på neste ukes tema: Distribuerte databaser 8. september 2005 INF Jon Grov 4
5 Mål for kurset «God forståelse av utfordringer og metoder knyttet til effektiv og skalerbar transaksjonsutførelse» Mer spesifikt: Formelle krav til korrekthet Praktiske anvendelser Transaksjoner i distribuerte systemer Viktige algoritmer Transaksjonshåndtering i applikasjoner 8. september 2005 INF Jon Grov 5
6 Mål for kurset forts. «Kjennskap til sentrale forskningstemaer innen feltet» Vi skal lage en liste med aktuelle artikler. Hver student velger én artikkel, som skal presenteres muntlig og drøftes i et essay. 8. september 2005 INF Jon Grov 6
7 Eksamen Bare hjemmeeksamen Karakter på essayet (men ikke på presentasjonen) Vanskelighetsgrad teller med. I tillegg gis en mindre hjemmeeksamen til slutt i semesteret. Sluttkarakter: essay-karakter * oppgave-karakter * september 2005 INF Jon Grov 7
8 Dato 08. september 15. september 22. september 29. september 06. oktober 13. oktober 20. oktober 27. oktober 03. november 10. november 17. november 24. november Tema Introduksjon BBS Forelesningsplan Distribuerte databaser: Heterogenitet, autonomi, terminering og anvendelser. Distribuert transaksjonshåndtering: TPM, heterogenitet og transparens, DBMS-støtte Samtidighetskontroll: Serialiserbarhet, The page model Algoritmer for samtidighetskontroll: 2PL, tidsstempler, MVCC, SG-testing, distribuert CC Logging og gjenopprettelse: Gjenopprettelse i distribuerte systemer Pålitelighet og redundans: Feilsannsynlighetsestimater, replikeringsstrategier etc. Alternative transaksjonsmodeller: Nøstede og flernivå-transaksjoner, sagaer m.m. Transaksjoner og programmering: Java Transaction API m.m. Essaypresentasjoner, del 1 Essaypresentasjoner, del 2 Fordeling av hjemmeeksamen-oppgaver Ansv. 1) RN/JG RN RN/JG JG JG JG JG JG JG JES JG/RN JG/RN 1) RN = Ragnar Normann, JG = Jon Grov, JES = Jan Erik Secker (BBS) 8. september 2005 INF Jon Grov 8
9 Pensum Forelesningene er pensum (foiler kommer på web) Alle får hver sin artikkel, hvor det som regel vil være nødvendig å lese bakgrunnsstoff. Alle essayene dere skriver inngår i pensum for hjemmeeksamen. 8. september 2005 INF Jon Grov 9
10 Tilleggslitteratur - 1 Weikum og Vossen: Transactional Information Systems (Morgan Kaufman, 2002) En svært velskrevet og oppdatert gjennomgang av teoretiske og praktiske metoder for samtidighetskontroll og gjenopprettelse. 708 kroner hos Akademika 650 kroner (+ frakt) hos Amazon.co.uk Bernstein og Newcomer: Principles of Transaction Processing (Morgan Kaufman, 1997) Lettlest gjennomgang av prinsippene for transaksjonshåndteringssystemer, med praktiske eksempler. 462 kroner hos Akademika 405 kroner (+ frakt) hos Amazon.co.uk 8. september 2005 INF Jon Grov 10
11 Tilleggslitteratur - 2 Gray og Reuter: Transaction Processing: Concepts and Techniques (Morgan Kaufman, 1993) En grundig og dyp gjennomgang av transaksjonshåndteringssystemer. Anses for å være sterk på praktiske metoder og detaljer (og følgelig et funn for DBMS-utviklere 884 kroner hos Akademika 811 kroner hos Amazon.co.uk Bernstein, Hadzilacos og Goodman: Concurrency Control and Recovery in Database Systems (Addison Wesley, 1987) Forløperen til Weikum & Vossen. Grundig, teoretisk gjennomgang. Litt gammel, men gratis: 8. september 2005 INF Jon Grov 11
12 Del 2: Transaksjoner Sumererne registrerte for mer enn 5000 år siden handler på steintavler. Kasseapparat med papirrull ble oppfunnet omkring I 1970-årene ble det vanlig med minibanker, hvor penger kan overføres helautomatisk fra bankens side. 8. september 2005 INF Jon Grov 12
13 Definisjon En transaksjon er en gruppe av deloperasjoner som sammen utgjør en større, logisk operasjon. Kravene til korrekte transaksjoner: Atomicity Consistency Isolation Durability 8. september 2005 INF Jon Grov 13
14 Anvendelser Transaksjoner brukes i: Batch-prosessering On-Line Transaction Processing Transaksjoner er uegnet til å håndtere sanntidsinformasjon (umulig å sikre konsistens) 8. september 2005 INF Jon Grov 14
15 Batch vs OLTP Batch I et batch-system utføres transaksjonene sekvensielt, og i en kontrollert rekkefølge. Eksekveringstiden er lett å estimere, og man trenger vanligvis bare å kjøre én batch-jobb av gangen. Svært lave krav til responstid. Eksempel: Legg til renter på alle konti for en gitt bank. OLTP Hovedtema for kurset! Transaksjonsforespørslene kommer utenfra, og vi kjenner ikke nøyaktig frekvens og fordeling. Relativt strenge krav til responstid. Eksempel: Pengeoverføring initiert av banketminaler 8. september 2005 INF Jon Grov 15
16 OLTP-systemer Store OLTP-systemer: Brukes bl.a. av finans, varehandel, reiseselskaper og helsevesen. Stor heterogenitet. Svært lang levetid. Transaksjonsmellomvare: CICS, BEA Tuxedo m.fl. Mindre OLTP-systemer: Regnskapssystemer, dokumenthåndtering, mindre nettbutikker og lignende. Liten heterogenitet, kortere levetid. Ofte basert på transaksjonsstøtte i ett DBMS (for eksempel Oracle) 8. september 2005 INF Jon Grov 16
17 SABRE Semi-Automatic Business Research Environment ble utviklet av IBM og American Airlines for å automatisere booking av reiser. Påbegynt i slutten av 50-årene, i full drift omkring Kostet 45 millioner USD (ca. 350 mill. med dagens verdi) American Airlines sies å ha redusert bookinkostnadene med 30% SABRE er fremdeles i drift, og håndterte i 2004 reiser for ca. 70 milliarder USD. Kilde: 8. september 2005 INF Jon Grov 17
18 Et transaksjonsprogram sub send_money() { BEGIN(); (a_id, b_id, amount) = process_user_input(); old_a = get_account(a_id); old_b = get_account(b_id); Lesing av delte data new_a = old_a amount; new_b = old_b + amount; if (new_a < 0) { ABORT(); } else { try { update_account(a_id, new_a); update_account(b_id, new_b); } except (Exception e) { ABORT(); } COMMIT(); } } Skriving av delte data 8. september 2005 INF Jon Grov 18
19 Krav sub send_money() { BEGIN(); (a_id, b_id, amount) = process_user_input(); old_a = get_account(a_id); old_b = get_account(b_id); new_a = old_a amount; new_b = old_b + amount; if (new_a < 0) { ABORT(); } else { try { update_account(a_id, new_a); update_account(b_id, new_b); } except (Exception e) { ABORT(); } COMMIT(); } } Alle sideeffekter må kunne reverseres før COMMIT. Vi må overholde integritetsreglene unngå overtrekk. Vi må sikre at verdiene som leses av get_account ikke endres (av andre transaksjoner) før update_account eksekveres. Etter COMMIT må alle utførte endringer forbli i databasen også dersom strømmen går. 8. september 2005 INF Jon Grov 19
20 Operasjonshierarki VISA: send_money() Bank A (Norway) get_account(a_id) update_account(a_id, new_a) Bank B (USA) get_account(b_id) update_account(b_id, new_b) r(x) w(x) w(log) r(y) w(y) w(log) 8. september 2005 INF Jon Grov 20
21 Distribuerte transaksjoner Vi må altså sikre atomisitet og konsistens på tvers av (relativt) autonome systemer. Skalerbarhet er kritisk, og systemet må fungere tilfredsstillende ved peak loads Tema for forelesningene 15. og 22. september 8. september 2005 INF Jon Grov 21
22 Samtidighetskontroll Overholde isolasjonskravet To transaksjoner: T 1 = r 1 (x) w 1 (x) og T 2 = r 2 (x) w 2 (x) Eksempel på inkonsistent eksekvering: r 1 (x) r 2 (x) w 1 (x) w 2 (x) Lett å løse teoretisk (tofase-låsing), men begrenser skalerbahet, særlig i distribuerte databaser. Tema for forelesningene 29. september og 6. oktober. 8. september 2005 INF Jon Grov 22
23 Gjenopprettelse og pålitelighet Atomicity og Durability. Vi må støtte rollback (undo). Crash recovery: alle skriveoperasjoner som ikke var committet før kræsjet må fjernes alle transaksjoner som var committet må gjøres permanente Implementeres med logging og redundans. Tema for forelesningene 13. og 20. oktober. 8. september 2005 INF Jon Grov 23
24 Ikke-funksjonelle krav Antall klienter Mengde data Transaksjonsbelastning Tilgjengelighet > Flere terabyte > tps Ca. 99.9% (tillatt nedetid: 8t 45 min pr. år) Transaction processing systems have to efficiently handle high volume, avoid errors due to concurrent operation, avoid producing partial results, grow incrementally, avoid downtime, and never lose results. It's a tall order. Phil A. Bernstein, september 2005 INF Jon Grov 24
Presentasjon 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
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
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
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
DetaljerSystemfeil og logging
INF3100 Databasesystemer Systemfeil og logging Basert på lysark laget av Hector Garcia-Molina Oversatt og bearbeidet av Ragnar Normann Integritet eller korrekthet av data Vi ønsker at data alltid skal
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
DetaljerSystemfeil og logging
UNIVERSITETET I OSLO Systemfeil og logging Basert på lysark laget av Hector Garcia-Molina Oversatt og bearbeidet av Ragnar Normann INF3100 19.4.2005 Ragnar Normann 1 Integritet eller korrekthet av data
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
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
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
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 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
DetaljerTransaksjonsmodell. Samtidighet (1) ACID-transaksjoner. Samtidighet (2) Systemkræsj (1) Kapittel 17, Coping With System Failure
SIF8020 Datamodellering og databasesystemer: Transaksjonsmodell Kapittel 17, Coping With System Failure 20. april 2004, Roger Midtstraum, IDI/ ACID-transaksjoner Atomicity Alt eller ingenting Consistency
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
DetaljerSystemfeil og logging
UNIVERSITETET I OSLO Systemfeil og logging Basert på lysark laget av Hector Garcia-Molina INF3100 23.4.2006 Ellen Munthe-Kaas 1 Integritet eller korrekthet av data Vi ønsker at data alltid skal være riktige
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
DetaljerSystemfeil og logging
UNIVERSITETET I OSLO Systemfeil og logging For en stor del basert på lysark laget av Hector Garcia-Molina Bearbeidet av Ragnar Normann INF3100 3.3.2008 Ragnar Normann Institutt for Informatikk 1 Korrekthet
DetaljerDatabasesystemer, oversikt
Databasesystemer, oversikt Evgenij Thorstensen V18 Evgenij Thorstensen Databasesystemer, oversikt V18 1 / 23 Kurset Databasesystemer og databaser. Databaser er abstrakte objekter (datastrukturer, spørrespråk).
DetaljerDeling av data Transaksjoner
Deling av data Transaksjoner INF5040 Foreleser: Olav Lysne SRL & Ifi/UiO 1 Introduksjon Tjenere kan tilby samtidig aksess fra klienter til de objekter/data tjenerne innkapsler o fler-trådede tjenere =>
DetaljerDeling av data Transaksjoner
Deling av data Transaksjoner INF5040 Foreleser: Olav Lysne SRL & Ifi/UiO 1 Introduksjon Tjenere kan tilby samtidig aksess fra klienter til de objekter/data tjenerne innkapsler o fler-trådede tjenere =>
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 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
DetaljerINF3100 Databasesystemer. Transaksjonshåndtering. ndtering Del 3. Ragnar Normann
INF3100 Databasesystemer Transaksjonshåndtering ndtering Del 3 Ragnar Normann View-serialiserbarhet Hittil har vi sett på eksekveringsplaner som har vært konfliktekvivalente med serielle eksekveringsplaner
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
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
DetaljerPlan for dagen. Måter å tenke på
Plan for dagen Måter å tenke på Måter å tenke på (perspektiv på UML) Dagens sidesprang: yacc Transaksjoner Hva er det? Atomiske beregninger Hvordan håndtere SW feil abortere transaksjonen Hvordan håndtere
DetaljerDBS22 Databasegjenopprettingsteknikker
Side 1 for Databaser DBS22 Databasegjenopprettingsteknikker onsdag 1. juni 2016 21.49 Pensum: 22.1-22.5, side 813-831 22.1 Gjenopprettingskonsepter 22.1.1 Recovery outline and categorization of recovery
DetaljerINF1300 Introduksjon til databaser
INF1300 Introduksjon til databaser Data (transiente, persistente) DBMS databser informasjon interesseområdet informasjonsmodeller informasjonssystemer Transiente og persistente data Når vi programmerer,
DetaljerForord. Faglig ansvarlig og hovedveileder for oppgaven har vært professor Mads Nygård. Medveileder har vært doktoringeniør stipendiat Hien Nam Le.
Forord Denne masteroppgaven er levert til Institutt for Datateknikk og Informasjonsvitenskap, IDI, ved Norges Teknisk-Naturvitenskapelige Universitet, NTNU, våren 2005. Oppgaven tar utgangspunkt i Hien
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Data, databaser og databasehånteringssystemer Data versus informasjon Beskrivelse av interesseområdet 100%-prinsippet og det begrepsmessige
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
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
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...
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
DetaljerINF1300 Introduksjon til databaser
INF1300 Introduksjon til databaser INF1300 Introduksjon til databaser INF1300 Introduksjon til databaser INF1300 Introduksjon til databaser databaser data (transiente, persistente) informasjon interesseområdet
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
Detaljer2. Beskrivelse av mulige prosjektoppgaver
Avanserte databaser (øving 9, 10, 11 & 12) Tore Mallaug 25.01.2008 Opphavsrett:Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO326D Avanserte Databaser INNLEVERINGSFRISTER (Obligatorisk
DetaljerFakultet for informasjonsteknologi, Løsning på kontinuasjonseksamen i TDT4190 / SIF8042 Distribuerte systemer August 2005, 0900 1300
Side 1 av 11 NTNU Norges teknisk naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Løsning på kontinuasjonseksamen
DetaljerHva er en algoritme? INF HØSTEN 2006 INF1020. Kursansvarlige Ragnar Normann E-post: Dagens tema
va er en algoritme? Vanlig sammenligning: Oppskrift. nput lgoritme NF1020 - ØSTEN 2006 Kursansvarlige Ragnar Normann E-post: ragnarn@ifi.uio.no Output Knuth : tillegg til å være et endelig sett med regler
DetaljerØving 5: Transaksjonshåndtering, logging og normalisering
Øving 5: Transaksjonshåndtering, logging og normalisering Lars Kirkholt Melhus Oppgave 1 a) ACID Atomic En transaksjon er en minste enhet. Alle ledd i transaksjonen må gå feilfritt for at transaksjonen
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
DetaljerNy 0 0,0% Distribuert 64 66,7% Noen svar 1 1,0% Gjennomført 31 32,3% Frafalt 0 0,0% I alt ,0%
INF142 (kun et utvalg av kommentarene er med i denne rapporten) Respondenter Prosent Ny 0 0,0% Distribuert 64 66,7% Noen svar 1 1,0% Gjennomført 31 32,3% Frafalt 0 0,0% I alt 96 100,0% Er det første gang
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
DetaljerINF Algoritmer og datastrukturer. Hva er INF2220? Algoritmer og datastrukturer
Praktiske opplysninger INF2220 - Algoritmer og datastrukturer HØSTEN 2007 Institutt for informatikk, Universitetet i Oslo Tid og sted: Mandag kl. 12:15-14:00 Store auditorium, Informatikkbygningen Kursansvarlige
DetaljerArk 1 av 18. programmeringsspråkenes. Velkommen til IN 211. verden. IN 211 Programmeringsspråk
Ark 1 av 18 IN 211 Programmeringsspråk Velkommen til programmeringsspråkenes verden IN 211 Forelesning 20.8.2001 Foreleser Ragnhild Kobro Runde E-post: ragnhilk@ifi.uio.no Kontor: 3345 Treffetid: torsdager
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
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,
DetaljerINF2220: Forelesning 1. Praktisk informasjon Analyse av algoritmer (kapittel 2) (Binær)trær (kapittel )
INF2220: Forelesning 1 Praktisk informasjon Analyse av algoritmer (kapittel 2) (Binær)trær (kapittel 4.1-4.3 + 4.6) PRAKTISK INFORMASJON 2 Praktisk informasjon Kursansvarlige Ragnhild Kobro Runde (ragnhilk@ifi.uio.no)
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
DetaljerCORBA Component Model (CCM)
CORBA Component Model (CCM) INF5040 Høst 2005 Erlend Birkedal Jan Erik Johnsen Tore Ottersen Løkkeberg Denne presentasjonen CORBA Svakheter ved CORBA Object Model Komponenter CORBA Component Model Hva
DetaljerIntroduksjon til fagfeltet
LC238D http://www.aitel.hist.no/fag/_dmdb/ Introduksjon til fagfeltet Datafiler side 2 Databasesystemer side 3-5 Databasearkitektur ANSI/SPARC side 6-7 Datamodeller side 8 Flerbruker databasesystem side
DetaljerFakultet for informasjonsteknologi, Løsning på kontinuasjonseksamen i TDT4190 Distribuerte systemer 19. august 2006,
Side 1 av 8 NTNU Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Løsning på kontinuasjonseksamen
DetaljerVelkommen til. INF våren 2017
Velkommen til INF1010 - våren 2017 Idag: 1. time: Om INF1010 2.time: Om Objekter i Java 1 Stein Gjessing og Stein Michael Storleer Universitetet i Oslo 1 INF1010 Objektorientert programmering I INF1010
DetaljerINF 3230: Videregående kurs i formell modellering
INF 3230: Videregående kurs i formell modellering Peter Ølveczky Universitetet i Oslo 9. mai 2012 Eksekverbar Formell Modellering Modellering: lage en modell av systemdesign før implementasjon Formell:
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 11: Huffman-koding & Dynamisk programmering (Ifi, UiO) INF2220 H2015, forelesning 11 1 / 32 Dagens
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 6: Grafer Bjarne Holen (Ifi, UiO) INF2220 H2009, forelesning 6 1 / 31 Dagens plan:
DetaljerVelkommen til INF Introduksjon til operativsystemer og datakommunikasjon
Velkommen til INF-1060 Introduksjon til operativsystemer og datakommunikasjon 22.08.12 INF1060 1 Forelesere: Pål Halvorsen (paalh@ifi.uio.no) Nettverk og Distribuerte systemer (ND) (ved Simula) Tor Skeie
DetaljerFakultet for informasjonsteknologi, Løsning på eksamen i TDT4190 Distribuerte systemer Torsdag 9. juni 2005, 0900 1300
Side 1 av 10 NTNU Norges teknisk naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Løsning på eksamen i
DetaljerTDT4110 Informasjonsteknologi grunnkurs: Kapittel 7 Filer og unntak ( exceptions ) Professor Alf Inge Wang Stipendiat Lars Bungum
1 TDT4110 Informasjonsteknologi grunnkurs: Kapittel 7 Filer og unntak ( exceptions ) Professor Alf Inge Wang Stipendiat Lars Bungum 2 Læringsmål Mål Introduksjon til filer (som inndata og utdata) Å bruke
DetaljerDagens plan. INF3170 Logikk
INF3170 Logikk Dagens plan Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 Hva skal vi lære? 22. januar 2007 3
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
DetaljerParallelle og distribuerte databaser del III
UNIVERSITETET I OSLO Parallelle og distribuerte databaser del III NoSQL og alternative datamodeller Institutt for Informatikk INF3100 20.4.2015 Ellen Munthe-Kaas 1 NoSQL NoSQL er et paraplybegrep som omfatter
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
DetaljerInnledning. MAT1030 Diskret matematikk. Kapittel 11. Kapittel 11. Forelesning 33: Repetisjon
Innledning MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
DetaljerINF1300 Introduksjon til databaser
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Data, databaser og databasehåndteringssystemer Data versus informasjon Beskrivelse av interesseområdet Begreper og representasjon av
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.
DetaljerDagens plan. INF Algoritmer og datastrukturer. Koding av tegn. Huffman-koding
Grafer Dagens plan INF2220 - Algoritmer og datastrukturer HØSTEN 2007 Institutt for informatikk, Universitetet i Oslo Avsluttende om grådige algoritmer (kap. 10.1.2) Dynamisk programmering Floyds algoritme
DetaljerLøsningsforslag for Eksamensoppgave i TDT4190 Distribuerte systemer
Institutt for datateknikk og informasjonsvitenskap Løsningsforslag for Eksamensoppgave i TDT4190 Distribuerte systemer Faglig kontakt under eksamen: Jon Olav Hauglid Tlf.: 93 80 58 51 Eksamensdato: Onsdag
DetaljerGJENNOMGANG UKESOPPGAVER 9 TESTING
GJENNOMGANG UKESOPPGAVER 9 TESTING INF1050 V16 KRISTIN BRÆNDEN 1 A) Testing viser feil som du oppdager under kjøring av testen. Forklar hvorfor testing ikke kan vise at det ikke er flere gjenstående feil.
DetaljerKurskategori 3: Design av IKT- systemer. Normalt vår, 14/15: høst
Kurskategori 3: Design av IKT- systemer Normalt vår, 14/15: høst Gjennom kurs i denne kategorien skal studentene opparbeide kunnskaper om og ferdigheter i å lage nettsteder, utvikle programvare og tilrettelegge
DetaljerGRUNNLEGGENDE LESE-, SKRIVE- OG MATEMATIKKOPPLÆRING
HiST Avdeling for lærer- og tolkeutdanning Fag: GRUNNLEGGENDE LESE-, SKRIVE- OG MATEMATIKKOPPLÆRING Kode: GLSM110-B Studiepoeng: 10 Vedtatt: Vedtatt av Avdelingsstyret i møte 2004 (sak A../04) 1. Nasjonal
DetaljerForelesning 33. Repetisjon. Dag Normann mai Innledning. Kapittel 11
Forelesning 33 Repetisjon Dag Normann - 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske repetisjonen av MAT1030. Det som gjensto var kapitlene 11 om trær og
DetaljerDagens tema: Begrepsdannelse Eksterne entydighetsskranker Representasjon n-1-regelen Verdiskranker Mengdeskranker
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Begrepsdannelse Eksterne entydighetsskranker Representasjon n-1-regelen Verdiskranker Mengdeskranker INF1300 29.08.2017 Mathias Stang
DetaljerAnbefalt litteratur: Pensum-bøker: Forelesere: Velkommen til INF Introduksjon til operativsystemer og datakommunikasjon
Forelesere: Velkommen til INF-1060 Introduksjon til operativsystemer og datakommunikasjon Pål Halvorsen (paalh@ifi.uio.no) Nettverk og Distribuerte systemer (ND) (ved Simula) Kjell Åge Bringsrud (kjellb@ifi.uio.no)
DetaljerINF3100 Databasesystemer
INF3100 Databasesystemer Forelesere: Obligsjef: Naci Akkök, Ragnar Normann Norun Sanderson Mål: Kjennskap til databasesystemer Oppgaver og moduler Virkemåte Implementasjon Teoretiske og praktiske problemer
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 13: Dynamisk programmering (Ifi, UiO) INF2220 H2017, forelesning 13 1 / 30 Dagens plan Dynamisk
DetaljerVelkommen til INF Introduksjon til operativsystemer og datakommunikasjon
Velkommen til INF-1060 Introduksjon til operativsystemer og datakommunikasjon 21.08.2007 INF1060 1 Forelesere: Pål Halvorsen (paalh@ifi.uio.no) Nettverk og Distribuerte systemer (ND) (ved Simula) Kjell
DetaljerDagens plan: INF Algoritmer og datastrukturer. Grafer vi har sett allerede. Det første grafteoretiske problem: Broene i Königsberg
Dagens plan: INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 6: Grafer Definisjon av en graf Grafvarianter Intern representasjon
DetaljerVelkommen til. IN1010 Objektorientert programmering Våren 2018
Velkommen til IN1010 Objektorientert programmering Våren 2018 Idag: 1. time: Om IN1010 2. time (+ i morgen og neste uke): Om Java og objekter i Java 1 Stein Gjessing, Siri Jensen og Dag Langmyhr Universitetet
DetaljerKort om kursene INF1100 og MAT-INF1100L
Kort om kursene INF1100 og MAT-INF1100L Hans Petter Langtangen 1,2 Joakim Sundnes 1,2 Simula Research Laboratory 1 University of Oslo, Dept. of Informatics 2 Aug 24, 2016 INF1100 er en første introduksjon
Detaljer- analyse og implementasjon
- analyse og implementasjon Hvem er vi? Vi heter Anders S Finnerud Dennis JMJ Lundh studerer til bachelorgraden i ingeniørfag for data ved Høgskolen i Oslo. Oppgaven Lage et lett system som kan utføre
DetaljerAlgDat 10. Forelesning 2. Gunnar Misund
AlgDat 10 Forelesning 2 Oversikt Java repetisjon IDE eller teksteditor + kommandolinje? Java Collections and Generics Programvareutvikling En mengde mer eller mindre veldefinerte metoder (software engineering):
DetaljerOm Kurset og Analyse av Algoritmer
Om Kurset og Analyse av Algoritmer Lars Vidar Magnusson 8.1.2014 Praktisk informasjon om kurset Hva er en algoritme? (kapittel 1) Hvordan analysere en algoritme? (kapittel 2) Praktisk Informasjon Introduction
DetaljerKlasser skal lages slik at de i minst mulig grad er avhengig av at klienten gjør bestemte ting STOL ALDRI PÅ KLIENTEN!
Å lage sikre klasser Unntaksklassene i Java-API-et Unntakshåndtering i databasesammenheng try-catch-finally-setningen Trelagsarkitektur; egen databaseklasse Transaksjonshåndtering LC191D Videregående programmering
DetaljerKonfigurasjonsstyring
INF1050: Systemutvikling 28. mars 2017 Konfigurasjonsstyring Yngve Lindsjørn ynglin@ifi.uio.no INF1050 Systemutvikling ->Konfigurasjonsstyring 1 Temaer i dagens forelesning Versjonshåndtering Systembygging
Detaljer(MVC - Model, View, Control)
INF1010 - våren 2008 Modell - Utsyn - Kontroll (MVC - Model, View, Control) Stein Gjessing Inst. for informatikk Et bankprogram Vi skal lage et program som håndterer kontoene i en bank. En konto eies av
DetaljerMaps og Hashing. INF Algoritmer og datastrukturer. Map - ADT. Map vs Array
Maps og Hashing INF0 - Algoritmer og datastrukturer HØSTEN 00 Institutt for informatikk, Universitetet i Oslo INF0, forelesning : Maps og Hashing Map - Abstrakt Data Type (kapittel.) Hash-funksjoner (kapittel..)
DetaljerMargunn Aanestad: Velkommen til INF3290! 27. august 2012
Margunn Aanestad: Velkommen til INF3290! 27. august 2012 Praktisk om kurset: Forelesinger mandag 12-14 (rom 1456 Shell) Seminar tirsdag 12-14 (2438 Logo) Vi starter i morgen Diverse aktiviteter Vurdering
DetaljerSystem integration testing. Forelesning Systems Testing UiB Høst 2011, Ina M. Espås,
System integration testing Forelesning Systems Testing UiB Høst 2011, Ina M. Espås, Innhold Presentasjon Hva er integration testing (pensum) Pros og cons med integrasjonstesting Når bruker vi integration
DetaljerDatastrukturer og Algoritmer
TOD 063 Datastrukturer og Algoritmer Forside fra lærebokens Nord Amerikanske utgave Tar for seg praktisk problemstilling: Hvordan håndtere containere som blir lastet fra containerskip i en travel havn
DetaljerMål. Pensum. TDT4110 Informasjonsteknologi grunnkurs: Tema: Filer og unntak (exceptions) Utgave 3: Kap. 6. Terje Rydland - IDI/NTNU
1 Kunnskap for en bedre verden TDT4110 Informasjonsteknologi grunnkurs: Tema: Filer og unntak (exceptions) Utgave 3: Kap. 6 Terje Rydland - IDI/NTNU 2 Læringsmål og pensum Mål Lære bruk av inn- og ut-operasjoner
DetaljerINF1020 Algoritmer og datastrukturer GRAFER
GRAFER Dagens plan: Definisjon av en graf (kapittel 9.1) Grafvarianter Intern representasjon av grafer (kapittel 9.1.1) Topologisk sortering (kapittel 9.2) Korteste vei, en-til-alle, for: uvektet graf
DetaljerHvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
INF143 Er du? Er du? - Annet Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor
DetaljerFakultet for informasjonsteknologi, Kontinuasjonsløsning på SIF8037 Distribuerte systemer og ytelsesvurdering (Distribuerte systemer kun)
Side 1 av 5 NTNU Norges teknisk naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Kontinuasjonsløsning
DetaljerTechnical Integration Architecture Teknisk integrasjonsarkitektur
Kap. 6 Technical Integration Architecture Studentpresentasjon av Cato Haukeland Oversikt Introduksjon -spesifikasjon Krav Beskrivelse Servicenivå Sikkerhet Plan Best practices Introduksjon Masterdokument
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
DetaljerIntroduksjon til Distribuerte System (DS)
Introduksjon til Distribuerte System (DS) IN-ODP høst 2001 foreleser: Frank Eliassen Ifi/UiO 1 Hva er et distribuert system? Definisjon [Coulouris] Et distribuert system består av maskinvare- og programvarekomponenter
Detaljer