Інфопакет

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

ДВС.2.10

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

Перший

2023/2024

10 Семестр

3

ПРН18.2. Аналізувати, оцінювати і вибирати інструментальні та обчислювальні засоби, парадигми, технології, алгоритмічні і програмні рішення при проектуванні та розробці програмних систем.

Знати: основні засоби основних семантичних структур SQL-подібних мов, формальні властивості тризначної логіки мови SQL, компактне задання логіки за допомогою відповідної решітки, основні закони в решітках. Вміти: будувати табличні (реляційні) бази даних. Моделі табличних (реляційних) структур. Володіти елементарними навичками: програмування в сучасних мовах і середовищах.

Мета дисципліни – засвоєння основних семантичних структур SQL-подібних мов, їх практичне застосування при розв'язанні практичних задач, пов'язаних із розробкою та використанням табличних баз даних. Навчальний курс "Композиційна семантика SQL-подібних мов" є складовою освітньо-професійної програми підготовки фахівців за першим (бакалаврським) рівнем вищої освіти галузі знань 12 "Інформаційні технології" зі спеціальності 122 "Комп’ютерні науки", освітньо-професійної програми "Інформатика". Вона є вибірковою дисципліною спеціалізації "Теорія та технологія програмування". Викладається у 10 семестрі в обсязі – 90 годин. (3 кредити ECTS) зокрема: лекції – 32 год., самостійна робота – 56 год., консультації – 2 год. Навчальний курс завершується заліком.

1. Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Академперіодика, 2001. – 196 с. 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.

Лекція, самостійна робота, доповідь, тест.

Семестрове оцінювання: 1. Контрольні роботи: РН 1.1., РН 1.2, РН 2.1, РН 2.2 — 35/21 балів. 2. Самостійна робота: РН 2.1, РН 2.2, РН 3.1, РН 4.1 –– 35/21 балів. 3. Підготовка доповіді: РН 2.1, РН 3.1, РН 4.1 – 30 балів/18 балів. Підсумкове оцінювання у формі заліку. Виставляється за результатами роботи студентами впродовж усього семестру та не передбачає додаткових заходів оцінювання для успішних студентів.

Українська