TBP_Otvoreno: Sadržaj | ELF 2024/2025

Sadržaj:

Simbolička logika
1. Propozicijska logika (PL)
  Sintaksa i semantika propozicijske logike. Katalog PL. Konjunktivna normalna forma. Rezolucijsko pravilo.
2. Logika prvog reda (LPR)
  Sintaksa i semantika logike prvog reda. Katalog LPR. Kvantifikatori ograničenog opsega.
Relacijske baze podataka
Uvod. Model podataka. Relacijska algebra. Zavisnosti u relacijskim bazama podataka. Formalni sustavi. Implikacijski problem. Normalne forme
Parcijalne baze podataka
Uvod. Parcijalna relacija. Jednakost parcijalnih slogova. Relacijski operatori za parcijalne relacije. Zavisnosti u parcijalnim bazama podataka. Formalni sustav za egzistencijske zavisnosti. Tipovi logičkih posljedica.
Temporalne baze podataka
Uvod. Temporalne relacije. Relacijski operatori za temporalne relacije. Zatvaranje (fold). Otvaranje (unfold). Intervalna unija. Intervalna razlika.
Deduktivne baze podataka
Uvod. Sintaksa i semantika deduktivne baze podataka. Datalog. Računanje pravila. Proširenja Dataloga.
Aktivne baze podataka
Uvod. Akcije i događaji. Produkcijska pravila. Implicitni događaj. Konflikti u aktivnim bazama podataka.
Poopćene relacijske baze podataka
Uvod. Particijska normalna forma. Relacijski operatori za PONF relacije.
Polustrukturirane baze podataka
Uvod. Polustrukturirani model podataka. Ograničenja nad polustrukturiranim podacima. Upiti nad podatkovnim grafovima. Postupak mapiranja i reduciranja.
Objektno-orijentirane baze podataka
Uvod. Objektno orijentirano model podataka. Funkcije. Identitet objekta. Metode. Učahurenje. Polimorfizam. Nasljeđivanje.
Teorija i njena verifikacije
Uvod. Koncepti. Klasifikacija koncepata. Faze istraživačkog postupka.

Vježbe:

Uvod
Aktivne baze podataka
Temporalne baze podataka
Poopćene relacijske baze podataka
Objektno-relacijske baze podataka
Deduktivne baze podataka
Objektno-orijentirane baze podataka
Polustrukturirane baze podataka
Big Data i NoSQL

Last modified: Friday, 31 August 2018, 5:51 PM