Database systems

Final project I've done for database course at the Institute of Mathematics (University of Wrocław).

COURSE SYLLABUS (in Polish)

SKRÓCONY OPIS:

• rozumienie działania relacyjnych baz danych (technologia klient-serwer)

• umiejętność pracy w środowisku konkretnej relacyjnej bazy danych (jak np. PostgreSQL czy mySQL)

• umiejętność komunikowania się z bazą danych przy pomocy zapytać SQL

• umiejętność stosowania złączenia naturalnego, złączenia zewnętrznego oraz agregacji

• umiejętność pracy / definiowania własnych widoków

• umiejętność projektowania średnio skomplikowanej bazy danych

• umiejętne stosowanie więzów spójności w bazie (klucze główne, klucze obce, więzy CHECK i DEFAULT, wyzwalacze)

• umiejętność tłumaczenia średnio skomplikowanych struktur danych na struktury bazodanowe

• rozumienie i stosowanie trójwartościowej logiki bazodanowej; wartość nieokreślona NULL

• tłumaczenie zapytań SQL na algebrę relacji i odwrotnie

• świadomość różnych implementacji (w tym także częściowych) algebry relacji w środowiskach niebazodanowych (np. arkusz kalkulacyjny, system obliczeń statystycznych R)

• powiązanie teoretycznych zagadnień bazodanowych z ich praktyczną implementacją (zależności funkcyjne, spełnianie, wnioskowanie, domknięcie funkcyjne)

• umiejętność używania podstawowych postaci normalnych (jak 1NF czy BCNF) przy konstruowaniu / ocenianiu poprawności baz danych

• umiejętność pracy w grupie w ramach zaliczeniowego projektu grupowego

• umiejętność zintegrowania relacyjnej bazy danych z zewnętrznym interfacem graficznym do niej

PEŁNY OPIS:

a. Bazy danych - co, jak i dlaczego.

b. Podstawy SQL (Structured Query Language).

c. Logika trójwartościowa.

d. Złączenia tabel.

e. Algebra relacji.

f. SQLowe domknięcie.

g. Algebra relacji w innych środowiskach (arkusz kalkulacyjny, system R, Base).

h. Agregacja i tabele przestawne.

i. Widoki.

j. Klucze główne oraz inne proste więzy integralności.

k. Klucze opcje i akcje na nich.

l. Proceduralny SQL.

m. Przykładowy projekt bazodanowy, wykorzystujący poznane konstrukcje bazodanowe.

n. Wyzwalacze.

o. Zależności funkcyjne i spełnianie.

p. Wprowadzenie do pojęcia wnioskowania dla zależności funkcyjnych.

q. Domknięcie funkcyjne i algorytm jego wyznaczania.

r. Postać normalna BCNF.

s. Zachowywanie informacji. Normalizacja do BCNF.

t. Zachowywanie zależności funkcyjnych.