engleski

Data Bases I

Sadržaj se sastoji od 7 poglavlja. U uvodnom poglavlju 1 dana je karakterizacija relacijske algebre ; opisuju se bazični relacijski operatori i utvrđuju njihove veze. Poglavlje 2 sadrži pregled teorije zavisnosti u relacijskim bazama podataka ; izlažu se funkcijske zavisnosti, višeznačne zavisnosti i zavisnosti spoja. Uvodi se pojam logičke posljedice i definira centralni problem teorije zavisnosti tzv. implikacijski problem. U poglavlju 3 razmatramo teoriju formalnih sustava. Primjenom pravila formalnih sustava omogućeno je rezoniranje o zavisnostima.Karakterizacija implikacijskog problema i algoritmi za rješavanje implikacijskog problema dani su u poglavlju 4. Poglavlje 5 sadrži pregled normalnih formi. Teorija parcijalne informacije sadržaj je poglavlja 6. Uvodi se trovalentna i četverovalentna logika i opisuju operatori nad relacijama koje prezentiraju parcijalnu informaciju. U poglavlju 7 opisujemo temporalne baze podataka, gdje se razmatraju intervalne relacije te odgovarajuća algebra i implementacije.

Relational algebra; dependencies; formal systems; implication problem; normal forms; partial information; temporal databases

nije evidentirano