|
|
Uvod do databazovych systemov 2023/2024 Zima
Oznamy (tie najviac aktualne su na prvych miestach)
- Do pisomky je mozne nazriet (aj v pripade neuspechu) na niektorom z
terminov ustnej skusky.
- Ustna cast skusky je spravidla do niekolkych dni po pisomke. Podmienkou
kvalifikacie na ustnu skusku je aspon 45% hodnotenie z pisomky.
- Na skusku treba priniest ISIC kartu (na pisomku tiez pero a
dostatok cistych papierov). Ziadne ine pomocky nie su dovolene. Vsetky
elektronicke zariadenia, vratane mobilnych telefonov, budu pocas pisomky
vypnute. Opisovanie, akakolvek komunikacia pocas testu alebo iny pokus o
podvod znamena neuspesne absolvovanie kurzu (Fx). Vynimkou je
komunikacia s ucitelom za ucelom upresnenia zadania ulohy.
- Pri hodnoteni sa berie do uvahy len posledny termin skusky.
- Hodnotenia pisomnych skuskovych testov budu priebezne zverejnovane na
tejto web stranke.
- Podmienky uspesneho absolvovania kurzu su v
slajdoch k prvej prednaske. Ocakavanu znamku po absolvovani pisomnej
casti skusky v skuskovom obdobi pocita tento
program.
- Skuska ma pisomnu a ustnu cast. Podmienkou prihlasenia sa na pisomku je
aspon 45% hodnotenie prace pocas semestra. Na pisomku sa treba najneskor
1 den vopred elektronicky prihlasit. Ak sa Vam
nedari prihlasit, poslite mi email.
Prihlasenie na test je zavazne (t.j. termin, na ktory ste prihlaseny, sa
pocita aj ked ten test nepisete). Ak viete ze na termin nepridete,
prosim odhlaste sa z neho (ak mate problem s odhlasenim, dajte mi vediet cez
email).
- Sucasne s tymto kurzom odporucam zapisat si tiez Databazove
praktikum (1-INF-270). Ak narazite na problem pri zapise Databazoveho
praktika, obratte sa na niektoreho z ucitelov.
Skusky
- 3.1. 16:00 A pisomka
- 10.1. 17:00 A pisomka
- 11.1. 9:00 M262 ustna skuska
- 16.1. 9:00 M262 ustna skuska
- 23.1. 9:00 M262 ustna skuska
- 26.1. 9:00 M262 ustna skuska
- 29.1. 10:00 A pisomka
- 2.2. 9:00 M262 ustna skuska
- 5.2. 9:00 M262 ustna skuska
- 6.2. 9:00 M262 ustna skuska
- 7.2. 9:00 M262 ustna skuska
- 8.2. 9:00 M262 ustna skuska
- 9.2. 9:00 M262 ustna skuska
- 15.2. 14:00 M.II pisomka (posledny termin)
- 16.2. 9:00 M262 ustna skuska (posledny termin)
Priebezne hodnotenie
Prednaska
T. Plachetka: Stvrtok 8:10, 2h, F1.109
- Uvodna prednaska
- Organizacia kurzu
- Historia, motivacia
- Ucel databaz, charakteristika DB aplikacii
- Trojstupnova ANSI/SPARC architektura, datove modely
- Entitno-relacny, relacny a navigacny datovy model
- Knihy, casopisy, konferencie
- Relacny kalkul, Datalog
- Relacie a predikaty
- Dotazy
- Relacny kalkul
- Datalog
- SQL
- DDL (Data Definition Language) a DML (Data Manipulation Language)
- DML: Syntax a semantika SELECT
- SELECT: selekcia, projekcia, premenovanie, ORDER BY,
UNION/INTERSECT/EXCEPT, INNER JOIN, OUTER JOIN, NULL hodnoty a 3-hodnotova
logika, poddotazy, GROUP BY/HAVING, duplikaty v tabulkach
- Preklad Datalog>SQL
- DML: INSERT, UPDATE, DELETE
- DDL: typy/DOMAIN, vytvorenie/odstranenie/modifikacia tabulky, default
hodnoty, indexy, VIEW, aktualizacia cez VIEW
- Relacna algebra
- Ucel relacnej algebry
- Operatory relacnej algebry
- Priklad optimalizacie na urovni relacnej algebry
- Multimnoziny (bags) a operatory nad multimnozinami
- Grupovanie a agregacia
- Semantika SELECT... FROM... WHERE... GROUP BY... HAVING
- Agregacia a rekurzia v dotazovacich jazykoch
- Grupovanie a agregacia v SQL, relacnej algebre, relacnom kalkule a
Datalogu
- Rekurzia v SQL, relacnej algebre, relacnom kalkule a
Datalogu
- Vypocet dotazov: iteracia (naivna a seminaivna evaluacia)
- Stratifikovana negacia
- Simulacia rekurzie s fixnou hlbkou v SQL bez WITH RECURSIVE
- Fyzicka organizacia
- Typy externych (trvacnych) medii
- Fyzicka algebra, fyzicke plany
- Materializacia vs. pipelining medzivysledkov
- Zlozitost fyzickych operatorov
- Implementacia vybranych operatorov: Merge-sort, Nested-loop-join
- Sekvencne indexy (ISAM)
- Husty a riedky sekvencny index, operacie vynechavania a vkladania
- B stromy a B+ stromy
- Hashovanie
- Cena reorganizacie indexov
- Navrhovanie databaz
- Ciel a metodologia navrhovania databaz
- Entitno-relacne diagramy, pravidla dobreho navrhu, primary keys,
surrogate keys, foreign keys
- Preklad ER diagramov do SQL (DDL)
- Identifikacia funkcnych zavislosti
- Funkcne zavislosti
- Motivacia normalizacie
- Funkcne zavislosti, Armstrongove axiomy
- Uzaver mnoziny atributov, uzaver mnoziny funkcnych zavislosti
- Uplnost Armstrongovych axiom
- Pokrytie a minimalne pokrytie mnoziny funkcnych zavislosti
- Nadkluce a kluce
- Relacne schemy, dekompozicia relacnych schem, bezstratovost
dekompozicie
- Normalne formy
- Algoritmus testovania bezstratovosti dekompozicie do 2 relacii
- Algoritmus testovania bezstratovosti dekompozicie do N relacii
- Prva, druha a tretia normalna forma (1NF, 2NF, 3NF), BCNF
- Naivna dekompozicia do 3NF, resp. BCNF
- Bezstratova dekompozicia do 3NF zachovavajuca funkcne zavislosti
- Bezstratova dekompozicia do BCNF z 3NF dekompozicie
- Vyssie normalne formy, zasady "rozumnej" dekompozicie
- Transakcie
- Definicia transakcie z pohladu centralizovaneho transakcneho systemu
- Elementarne transakcne operacie
- Poziadavky na transakcny system (ACID)
- Architektura transakcneho databazoveho systemu
- Rozvrhy
- Seriove a konflikt-seriovatelne rozvrhy
- Testovanie konflikt-seriovatelnosti, precedencny graf
- View-seriovatelne rozvrhy
- Generovanie seriovatelnych rozvrhov
- Dvojfazove zamykanie, casove peciatky, validacia, MVCC
- Obnova (recovery), log-file
- Vseobecny dvojprechodovy algoritmus obnovy, algoritmy obnovy so
specifickymi predpokladmi
- Checkpointing
- Backup
- Triedy obnovitelnosti: recoverable, ACA, strict
- Diagram hierarchie tried obnovitelnosti a seriovatelnosti
- Striktne dvojfazove zamykanie
- Deadlock, wait-for-graf, pristupy k rieseniu deadlockov
- Konzervativne strategie riesenia deadlockov: wait-die a kill-wait
Starsie materialy k tomuto kurzu:
RNDr. J.
Sturc
Cvicenia
C1 Stvrtok 16:30 M.VII
C2 Stvrtok 13:10 F1.328
Literatura
Online materialy ku kurzu Introduction
to Databases na Stanford University. Online kurz:
Stanford's Databases MOOC- H. Garcia-Molina, J.D. Ullman, J. Widom: Database Systems, The Complete
Book, Prentice Hall, 2003
- S. Abiteboul, R. Hull, V. Vianu:
Foundations of Databases
- R. Elmasri, S.B. Navathe:
Fundamentals of Database Systems,
Addison-Wesley, 2006
- M. Kifer, P.A. Bernstein, P.M. Lewis: Database Systems, An
Application-Oriented Approach, Addison-Wesley, 2006
- J. D. Ullman, J.Widom: A First Course in Database Systems, Prentice
Hall, 1997
- S. Krishna:
Introduction to Database and Knowledge-Based Systems,
World-Scientific, 1992
- T.M. Connolly, C.E. Begg:
Database Systems: A Practical Approach to Design, Pearson Education,
2005
- C. Zaniolo:
Advanced Database Systems, Morgan Kaufmann, 1997
- S. Lightstone, T.J. Teorey, T. Nadeau:
Physical Database Design, Morgan Kaufmann, 2007
- P.A. Bernstein, V. Hadzilacos, N. Goodman:
Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987
Updated by
Tomas Plachetka,
Feb/16/2024
|