Completed course Introduction to programming.

# Fundamentals of databases

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.

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.

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.

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.

Lectures, exercises, homework, consultations

2 midterm exams instead of written exam, written exam

Oral exam

grading: 5 (fail), 6-10 (pass) (according to the Statute of UL)

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]