Ishodi učenja predmeta

• Dokazati i interpretirati sadržaj kataloga relacijskih operatora
• Izgraditi aplikaciju primjenom odgovarajućeg sustava za upravljanje bazom podataka
• Napredno poznavanje SQL-a uključujući analizu svojstava SQL-konstrukata primjenom simboličke logike
• Opisati strukturalnu, operativnu i integritetnu komponentu modela za parcijalne baze podataka
• Opisati strukturalnu, operativnu i integritetnu komponentu modela za temporalne baze podataka, deduktivne baze podataka, poopćene baze podataka i O/R baze podataka
• Opisati strukturalnu, operativnu i integritetnu komponentu relacijskog modela podataka
• Opisati tipove logičkih posljedica i riješiti pripadne implikacijske probleme
• Poznavanje osnova Datalog-a, XPath-a i XQuery-ja
• Precizno karakterizirati operatore nad poopćenim relacijama
• Razumjeti i primjeniti teoriju normalizacije baze podataka
• Razumjeti logičke osnove baza podataka
• Riješiti implikacijski problem za funkcijske, višeznačne i zavisnosti spoja
• Transformirati deduktivnu bazu podataka u konvencionalnu relacijsku bazu podataka primjenom pravila za računanje pravila pomoću relacijske algebre
• Transformirati relacijski izraz u ekvivalentan relacijski izraz primjenom kataloga relacijskih operatora

Ishodi učenja programa

• Izgraditi računalni sustav za pohranu podataka i znanja korištenjem suvremenih alata za izradu baza podataka, baza znanja i semantici podatakaIzgraditi računalni sustav za pohranu podataka i znanja korištenjem suvremenih alata za izradu baza podataka, baza znanja i semantici podataka
• Modelirati poslovna pravila, poslovne podatke kao i pravila za izvođenje transakcijskih podataka koji nisu eksplicitno zadani Modelirati poslovna pravila, poslovne podatke kao i pravila za izvođenje transakcijskih podataka koji nisu eksplicitno zadani
• Modelirati raspodjelu podataka prema mjestu korištenja podataka, izgraditi sustav replikacije baze podataka i izgraditi distribuiranu bazu podatakaModelirati raspodjelu podataka prema mjestu korištenja podataka, izgraditi sustav replikacije baze podataka i izgraditi distribuiranu bazu podataka
• Predstaviti i popularizirati suvremena trendove u informatici u stručnim i laičkim krugovima Predstaviti i popularizirati suvremena trendove u informatici u stručnim i laičkim krugovima
• Utvrditi uvjete za primjenu, savjetovati i u zadanom kontekstu donositi odluke vezane uz ključne aspekte primjene i razvoja informacijske tehnologije (programiranje, algoritmi, strukture podataka, baze podataka i znanja)Utvrditi uvjete za primjenu, savjetovati i u zadanom kontekstu donositi odluke vezane uz ključne aspekte primjene i razvoja informacijske tehnologije (programiranje, algoritmi, strukture podataka, baze podataka i znanja)
• Valorizirati stručnu literaturu na hrvatskom i stranom jezikuValorizirati stručnu literaturu na hrvatskom i stranom jeziku

Sadržaj predavanja

• Relacijske baze podataka
  Simbolička logika za baze podataka. Relacijska algebra. Zavisnosti u relacijskim bazama podataka. Implikacijski problem. Formalni sustavi. Normalne forme
• Parcijalne baze podataka
  Uvod. Tipovi parcijalnih relacija. Relacijski operatori nad parcijalnim relacijama.Tipovi logičkih posljedica i njihov odnos.
• Temporalne baze podataka
  Uvod. Intervalno proširenje relacijskog modela. Relacijski operatori u temporalnim bazama podataka.
• Deduktivne baze podataka
  Uvod. Sintaksa i semantika. Reprezentacija deduktivne baze podataka u Datalogu. Tipovi pravila. Minimalni model. Računanje nerekurzivnih pravila. Računanje rekurzivnih pravila.Sigurnost pravila. Negacija. Stratifikacija deduktivne baze podataka. Rekurzija u SQL-u.
• Poopćene relacijske baze podataka
  Uvod. Particijska normalna forma. Relacijski operatori nad poopćenim relacijama.
• Zaključak
  Ponavljanje. Zavisnosti između poglavlja. Uvod u stručni i znanstveni rad.

Sadržaj seminara/vježbi

• Vježba 1
  Funkcije u PostgreSQL-u (sintaksa, semantika, primjeri).
• Vježba 2
  Aktivne baze podataka (sintaksa, semantika, primjeri).
• Vježba 3
  Temporalne baze podataka (sintaksa, semantika, primjeri).
• Vježba 4
  Poopćene baze podataka (sintaksa, semantika, primjeri).
• Vježba 5
  Objektno-relacijske baze podataka (sintaksa, semantika, primjeri).
• Vježba 6
  Deduktivne baze podataka (sintaksa, semantika, primjeri).
• Vježba 7
  Objektno-orijentirane baze podataka (sintaksa, semantika, primjeri).
• Vježba 8
  Polustrukturirane baze podataka i XML (sintaksa, semantika, primjeri).

Alati koji se koriste na predmetu

• PostgreSQL
  Napredni sustav za upravljanje objektno-relacijskom bazom podataka
• XSB
  Sustav za upravljanje deduktivnom bazom podataka
• ZODB
  Sustav za upravljanje objektno-orijentiranom bazom podataka
• eXist
  Sustav za upravljanje XML bazom podataka
• Kate
  Napredni editor programskog koda
• XPather
  Alat za generiranje i editiranje XPath izraza

Osnovna literatura

• (O1) Maleković, M., Teorija baza podataka, FOI, 2005.
• (O2) Date, C. J., Logic and Databases, Trafford Publishing, 2007.

Dopunska literatura

• (D1) Abiteboul, S., R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, 2002.
• (D2) Date, C. J., An Introduction to Database Systems, Addison-Wesley, 2007.
• (D3) Date, C. J., H. Darwen, N. A. Lorentzos, Temporal Data and the Relational Model, Morgan Kaufman, 2003.
• (D4) Garcia-Molina, H., J. D. Ullman, J. Widom, Database Systems, Pearson Prentice Hall, 2009.
• (D5) Connoly, T., C. Begg, R. Holowczak, Business Database Systems, Addison Wesley, 2008.
• (D6) Maleković, Mirko; Čubrilo, Mirko; Rabuzin, Kornelije. Logical Consequences in Partial Knowledge Bases // Towards Intelligent Engineering and Information Technology / Imre J. Rudas, Janos Fodor, Janusz Kacprzyk (ur.). Berlin Heidelberg : Springer-Verlag, 2009. Str. 377-388.

Slični predmeti

• Imperial College, London, Department of Computing, Databases;
• Stanford University, Department of Computer Science, Database Theory;
• University of Massachusetts, Databases;
• University of Southern California – San Diego, Foundations of Databases;
• University of Maryland, Department of Computer Science, Database Design.