Opravljen predmet Uvod v programiranje.
Osnove podatkovnih baz
2024/2025
Program:
Univerzitetni študijski program 1. stopnje Finančna matematika
Letnik:
3 letnik
Semester:
drugi
Vrsta:
izbirni
Skupina:
B
ECTS:
5
Jezik:
slovenski
Nosilec predmeta:
Izvajalec (kontaktna oseba):
Ure na teden – 2. semester:
Predavanja
2
Seminar
0
Vaje
0
Laboratorij
2
Vsebina
Podatkovna baza.
Fizična podatkovna baza.
Podatkovni modeli.
Relacijski podatkovni model.
Relacijska shema.
Operacije nad relacijami.
Relacijska algebra in relacijski račun.
Podatkovni jezik SQL.
Obnavljanje podatkovne baze.
Nadzor nad sočasno uporabo podatkovne baze.
Temeljni literatura in viri
- T. Mohorič: Podatkovne baze, 2. popravljena izd., Ljubljana : Bi-tim, 2002.
- R. Ramakrishnan, J. Gehrke: Database management systems, 3rd ed., Boston : McGraw-Hill, cop. 2003.
Cilji in kompetence
Študenti se seznanijo z osnovnimi definicijami podatka in informacije, organizacijo logične in fizične podatkovne baze ter vrsto poglavitnih podatkovnih modelov. Pridobijo znanja s področja povpraševalnih in ažurirnih jezikov, kot je SQL. Podrobneje morajo spoznati tudi delovanje sistema za upravljanje podatkovnih baz.
Predvideni študijski rezultati
Znanje in razumevanje: Osnovno znanje o teoriji in praksi podatkovnih baz.
Uporaba: Uporaba podatkovnih baz v informacijskih sistemih in na ostalih področjih računalništva in informatike
Refleksija: Matematična teorija relacijske algebre je teoretična osnova za podatkovne baze v praksi. Tu se kaže neposredna uporabnost matematičnega znanja v praksi.
Prenosljive spretnosti – niso vezane le na en predmet: Praktično znanje iz podatkovnih baz povečuje študentove sposobnosti za organizacijo podatkov, tako pri študiju kot v kasnejši zaposlitvi.
Metode poučevanja in učenja
Predavanja, vaje, domače naloge, konzultacije
Načini ocenjevanja
2 kolokvija namesto izpita iz vaj / izpit iz vaj
izpit iz teorije
(ocene: 5 (negativno), 6-10 (pozitivno), ob upoštevanju Statuta UL)
Reference nosilca
Andrej Bauer:
BAUER, Andrej, STONE, Christopher A. RZ: a tool for bringing constructive and computable mathematics closer to programming practice. Journal of logic and computation, ISSN 0955-792X, 2009, vol. 19, no. 1, str. 17-43. [COBISS-SI-ID 15325785]
BAUER, Andrej, BIRKEDAL, Lars. Continuous functionals of dependent types and equilogical spaces. V: CLOTE, Peter G. (ur.). Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings, (Lecture notes in computer science, ISSN 0302-9743, 1862). Berlin [etc.]: Springer, 2000, vol. 1862, str. 202-216. [COBISS-SI-ID 10606681]
AWODEY, Steve, BAUER, Andrej. Propositions as [Types]. Journal of logic and computation, ISSN 0955-792X, 2004, vol. 14, no. 4, str. 447-471. [COBISS-SI-ID 13374809]
Janoš Vidali
BERČIČ, Katja, VIDALI, Janoš. DiscreteZOO: a fingerprint database of discrete objects. Mathematics in computer science. Sep. 2020, vol. 14, iss. 3, str. 559-575. ISSN 1661-8270. [COBISS-SI-ID 24924419]
VIDALI, Janoš, NOSE, Peter, PAŠALIĆ, Enes. Collisions for variants of the BLAKE hash function. Information processing letters. [Print ed.]. July 2010, vol. 110, no. 14/15, str. 585-590. ISSN 0020-0190. [COBISS-SI-ID 1024263252]
VIDALI, Janoš. Using symbolic computation to prove nonexistence of distance-regular graphs. The Electronic journal of combinatorics. [Online ed.]. 2018, vol. 25, iss. 4, paper p4.21 (10 str.). ISSN 1077-8926. [COBISS-SI-ID 18469721]
