Infopaket

Сompositional Semantics of SQL-like Languages

ДВС.2.10

Вибіркова дисципліна для ОП

First

2023/2024

8 Semester

3

LO18.2. Analyse, evaluate and select instrumental and computing tools, paradigms, technologies, algorithmic and software solutions in the design and development of software systems.

Distance form

Know: basic methods of discrete mathematics, algebra and mathematical logic, methods of formalization of software systems, methods of proving theorems in algebras and logic, relational databases. Be able to: develop software systems based on their formal models and prove the properties of such systems.

The goal of the discipline is to learn the main semantic structures of SQL-like languages, their practical application in solving practical problems related to the development and use of tabular databases. The educational discipline "Compositional semantics of SQL-like languages" is a component of the educational and professional training program for specialists at the first (bachelor's) level of higher education in the field of knowledge 12 "Information technologies" from the specialty 122 "Computer science", the educational and professional program "Informatics" . It is an optional discipline of the "Theory and Technology of Programming" specialization. It is taught in the 8th semester in the amount of 90 hours. (3 ECTS credits) in particular: lectures – 28 hours, independent work – 60 hours, consultations – 2 hours. The discipline ends with a credit in the 8th semester.

Redko V.N. et all. Relational databases: tabular algebras and SQL-like languages. - Kyiv: Akademperiodika, 2001. – 196 p. Ricciotti, W., Cheney, J. A Formalization of SQL with Nulls. J Autom Reasoning 66, 989–1030 (2022). https://doi.org/10.1007/s10817-022-09632-4.

Tests 1 and 2, current evaluation, report on independent work.

Semester assessment: 1. Control work (test) 1: RN 1.1., RN 1.2 — 35 points/35 points. 2. Control work (test) 2: PH1.2, PH1.3 - 35 points/35 points. 3. Preparation of a report (on the topics of lectures and independent work): RN 2.1, PH 3.1, PH 4.1 – 30 points/30 points. Final assessment in the form of credit. It is awarded based on the results of students' work throughout the semester and does not provide for additional assessment measures for successful students.

Ukrainian