Композиційна семантика SQL подібних мов

Освітня програма: Інформатика (перший (бакалаврський) рівень вищої освіти)

Структурний підрозділ: Факультет комп'ютерних наук та кібернетики

Назва дисципліни
Композиційна семантика SQL подібних мов
Код дисципліни
ДВС.2.10
Тип модуля
Вибіркова дисципліна для ОП
Цикл вищої освіти
Перший
Рік навчання
2023/2024
Семестр / Триместр
8 Семестр
Кількість кредитів ЕСТS
3
Результати навчання
ПРН18.2. Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, парадигми, технології, алгоритмічні і програмні рішення при проектуванні та розробці програмних систем.
Форма навчання
Дистанційне навчання
Попередні умови та додаткові вимоги
Знати: основні методи дискретної математики, алгебри та математичної логіки, методи формалізації програмних систем, методи доведення теорем в алгебрах та логіках, реляційні бази даних. Вміти: розробляти програмні системи на основі їх формальних моделей та доводити властивості таких систем.
Зміст навчальної дисципліни
Мета дисципліни – засвоєння основних семантичних структур SQL-подібних мов, їх практичне застосування при розв'язанні практичних задач, пов'язаних із розробкою та використанням табличних баз даних. Навчальна дисципліна "Композиційна семантика SQL-подібних мов" є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 "Інформаційні технології" зі спеціальності 122 "Комп’ютерні науки", освітньо-професійної програми "Інформатика". Вона є вибірковою дисципліною спеціалізації "Теорія та технологія програмування". Викладається у 8 семестрі в обсязі – 90 годин. (3 кредити ECTS) зокрема: лекції – 28 год., самостійна робота – 60 год., консультації – 2 год. Завершується дисципліна заліком в 8 семестрі.
Рекомендована та необхідна література
Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Академперіодика, 2001. – 196 с. 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.
Заплановані освітні заходи та методи викладання
Контрольні роботи 1 та 2, поточне оцінювання, звіт з самостійної роботи.
Методи та критерії оцінювання
Семестрове оцінювання: 1. Контрольна робота (тест) 1: РН 1.1., РН 1.2 — 35 балів/35 балів. 2. Контрольна робота (тест) 2: РН1.2, РН1.3 - 35 балів/35 балів. 3. Підготовка доповіді (за темами лекційних занять та самостійної роботи): РН 2.1, РН 3.1, РН 4.1 – 30 балів/30 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.
Мова викладання
Українська

Кафедри

Наступні кафедри задіяні у викладанні наведеної дисципліни

Теорії та технології програмування
Факультет комп'ютерних наук та кібернетики