Infopaket

Сompositional Semantics of SQL-like Languages

ДВС.2.10

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

First

2023/2024

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

To know: basic means of the main semantic structures of SQL-like languages, formal properties of the three-valued logic of the SQL language, a compact assignment of logic using the appropriate lattice, basic laws in lattices. Be able to: build tabular (relational) databases. Models of tabular (relational) structures. Possess elementary skills: programming in modern languages and environments.

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 learmning course "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 course of the "Theory and Technology of Programming" specialization. It is taught in the 10th semester in the amount of 90 hours. (3 ECTS credits) in particular: lectures – 32 hours, independent work – 56 hours, consultations – 2 hours. The course ends with a test.

1. Redko V.N. et all. Relational databases: tabular algebras and SQL-like languages. - Kyiv: Akademperiodika, 2001. – 196 p. 2. 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.

Lection, independent work, review, test.

Semester assessment: 1. Tests: LO 1.1., LO 1.2, LO 2.1, LO 2.2 — 35/21 points. 2. Independent work: LO 2.1, LO 2.2, LO 3.1, LO 4.1 –– 35/21 points. 3. Preparation of the report: LO 2.1, LO 3.1, LO 4.1 – 30/18 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