prikaz prve stranice dokumenta Teorija relacijskih baza podataka u Coqu
  Preuzmi
PDF 9.52 MB
završni rad
Teorija relacijskih baza podataka u Coqu
2022. urn:nbn:hr:126:400265
Rajković, Marko
Sveučilište Josipa Jurja Strossmayera u Osijeku
Odjel za matematiku

Citirajte ovaj rad

Rajković, M. (2022). Teorija relacijskih baza podataka u Coqu (Završni rad). Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, Marko. "Teorija relacijskih baza podataka u Coqu." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, 2022. https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, Marko. "Teorija relacijskih baza podataka u Coqu." Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, 2022. https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, M. (2022). 'Teorija relacijskih baza podataka u Coqu', Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, citirano: 11.11.2024., https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković M. Teorija relacijskih baza podataka u Coqu [Završni rad]. Osijek: Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku; 2022 [pristupljeno 11.11.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:126:400265

M. Rajković, "Teorija relacijskih baza podataka u Coqu", Završni rad, Sveučilište Josipa Jurja Strossmayera u Osijeku, Odjel za matematiku, Osijek, 2022. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:126:400265

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:126:400265
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovTeorija relacijskih baza podataka u Coqu
Naslov (engleski)Relational Database Theory in Coq
AutorMarko Rajković
MentorSlobodan Jelić (mentor)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište Josipa Jurja Strossmayera u Osijeku
Odjel za matematiku
Osijek
Datum i država obrane2022-09-30, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		PRIRODNE ZNANOSTI
Matematika
Matematička logika i računarstvo
Sažetak
U ovom ćemo radu promatrati i prezentirati formalizaciju relacijskog modela podataka u Coqu koji je temelj relacijskih baza podataka. Preciznije rečeno, bavit ćemo se formalizacijom onog dijela relacijskog modela podataka koji se odnosi na strukturu podataka, zatim ćemo prezentirati modeliranje dvaju jezika za upite i optimizacije tih jezika i na kraju ćemo promatrati očuvanje integriteta baze podataka gdje ćemo se baviti funkcionalnim ovisnostima
Sažetak (engleski)
In this paper we will study and present formalization of the relational data model which is basis of relational databases. We will study formalization of data definition part of the relational data model and we will present two query languages: relational algebra and conjunctive queries together with optimization of those. At the end we will study integrity constraints where we will be particularly focused on functional dependencies.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:126:400265
Studijski programNaziv: Matematika i računarstvo
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike i računarstva (univ. bacc. math. et comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaOtvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Datum i vrijeme pohrane2022-10-07 11:55:22