Teorija relacijskih baza podataka u Coqu ; Relational Database Theory in Coq

Rajković, Marko ; Jelić, Slobodan

Sveučilište Josipa Jurja Strossmayera u Osijeku. Odjel za matematiku. ; Josip Juraj Strossmayer University of Osijek. Department of Mathematics., 2022

Online Hochschulschrift

Wie komme ich dran?

Zugriff:

Volltext

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 ; 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.

Titel:	Teorija relacijskih baza podataka u Coqu ; Relational Database Theory in Coq
Autor/in / Beteiligte Person:	Rajković, Marko ; Jelić, Slobodan
Link:	https://zir.nsk.hr/islandora/object/mathos:660 Volltext https://repozitorij.unios.hr/islandora/object/mathos:660 https://repozitorij.unios.hr/islandora/object/mathos:660/datastream/PDF
Veröffentlichung:	Sveučilište Josipa Jurja Strossmayera u Osijeku. Odjel za matematiku. ; Josip Juraj Strossmayer University of Osijek. Department of Mathematics., 2022
Medientyp:	Hochschulschrift
Schlagwort:	baza podataka relacijski model coq upit optimizacija integritet funkcionalna ovisnost database relational data model query optimization integrity functional dependency PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting
Sonstiges:	Nachgewiesen in: BASE Sprachen: Croatian Collection: Croatian Digital Theses Repository (National and University Library in Zagreb) Document Type: bachelor thesis File Description: application/pdf Language: Croatian Rights: http://rightsstatements.org/vocab/InC/1.0/ ; info:eu-repo/semantics/openAccess

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.