Інфопакет

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

ДВС.2.10

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

Перший

2023/2024

8 Семестр

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 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська