Fundamentals of databases

2022/2023
Programme:
Financial mathematics, First Cycle
Year:
3 year
Semester:
second
Kind:
optional
Group:
B
ECTS:
5
Language:
slovenian
Hours per week – 2. semester:
Lectures
2
Seminar
0
Tutorial
0
Lab
2
Prerequisites

Completed course Introduction to programming.

Content (Syllabus outline)

Data based.
Physical data base.
Data models.
Relational data model.
Relational schema.
Operations on relations.
Relational algebra and relational calculus.
Database language SQL.
Recovery in databases.
Control over concurrent use of data base.

Readings

R. Ramakrishnan, J. Gehrke: Database Management Systems, 3rd edition, McGraw-Hill, Boston, 2003.
T. Mohorič: Podatkovne baze, 2. dopolnjena izdaja, BI-TIM, Ljubljana, 2002.
Priročniki za uporabo podatkovnih baz.
Manuals for databases.

Objectives and competences

Students get familiar with basic definitions of data and information, organization of logical and physical database and with various main data models. They obtain knowledge about querying and updating languages like SQL. They have to obtain detailed knowledge about operation of a system for database management.

Intended learning outcomes

Knowledge and understanding: Basic knowledge about theory and practice about databases.
Application: Use of databases in information systems and other fields of computer science and informatics.
Reflection: Mathematical theory of relational algebra is a theoretical basis for databases in practice. This shows direct applicability of mathematical knowledge in practice.
Transferable skills: Practical knowledge on databases enhances student's capabilities for data organization, during the course of study or later at work.

Learning and teaching methods

Lectures, exercises, homework, consultations

Assessment

Type (examination, oral, coursework, project):
2 midterm exams instead of written exam, written exam
oral exam
grading: 1-5 (fail), 6-10 (pass) (according to the Statute of UL)

Lecturer's references

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]
Alen Orbanić:
ORBANIĆ, Alen, BOBEN, Marko, JAKLIČ, Gašper, PISANSKI, Tomaž. Algorithms for drawing polyhedra from 3-connected planar graphs. Informatica, ISSN 0350-5596, 2004, vol. 28, no. 3, str. 239-243. [COBISS-SI-ID 13285977]
HUBARD, Isabel, ORBANIĆ, Alen, PELLICER, Daniel, IVIĆ WEISS, Asia. Symmetries of equivelar 4-toroids. Discrete & computational geometry, ISSN 0179-5376, 2012, vol. 48, iss. 4, str. 1110-1136. [COBISS-SI-ID 16478297]
PERME, Tomaž, NOVAK, Matjaž, STRAŠEK, Rok, KAVKLER, Iztok, ORBANIĆ, Alen. A model for technical optimisation of the distribution centre, 2011, Acta technica corviniensis, tome 4, fasc. 2, str. 39-43. [COBISS-SI-ID 4154583]