prikaz prve stranice dokumenta Teorija relacijskih baza podataka u Coqu
  Download
PDF 9.52 MB
undergraduate thesis
Teorija relacijskih baza podataka u Coqu
2022. urn:nbn:hr:126:400265
Rajković, Marko
Josip Juraj Strossmayer University of Osijek
Department of Mathematics

Cite this document

Rajković, M. (2022). Teorija relacijskih baza podataka u Coqu (Undergraduate thesis). Osijek: Josip Juraj Strossmayer University of Osijek, Department of Mathematics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, Marko. "Teorija relacijskih baza podataka u Coqu." Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, 2022. https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, Marko. "Teorija relacijskih baza podataka u Coqu." Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, 2022. https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković, M. (2022). 'Teorija relacijskih baza podataka u Coqu', Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, accessed 24 October 2024, https://urn.nsk.hr/urn:nbn:hr:126:400265

Rajković M. Teorija relacijskih baza podataka u Coqu [Undergraduate thesis]. Osijek: Josip Juraj Strossmayer University of Osijek, Department of Mathematics; 2022 [cited 2024 October 24] Available at: https://urn.nsk.hr/urn:nbn:hr:126:400265

M. Rajković, "Teorija relacijskih baza podataka u Coqu", Undergraduate thesis, Josip Juraj Strossmayer University of Osijek, Department of Mathematics, Osijek, 2022. Available at: https://urn.nsk.hr/urn:nbn:hr:126:400265

Please login to the repository to save this object to your list.
Metadata
TitleTeorija relacijskih baza podataka u Coqu
Title (english)Relational Database Theory in Coq
AuthorMarko Rajković
MentorSlobodan Jelić (mentor)
GranterJosip Juraj Strossmayer University of Osijek
Department of Mathematics
Osijek
Defense date and country2022-09-30, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Mathematical Logic and Accounting
Abstract
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
Abstract (english)
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.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:126:400265
Study programmeTitle: Bachelor of Mathematics and Computer Science
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike i računarstva (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) matematike i računarstva)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2022-10-07 11:55:22