Інфопакет

Теорія табличних алгебр

ДВС.2.03

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

Другий

2022/2023

4 Семестр

4

ПРН 21.2. Знати та вміти застосовувати програмно-орієнтовані логічні формалізми.

Дистанційне навчання

Знати: основні поняття реляційних баз даних, формальні методи розробки програмних систем Вміти: застосовувати формальні методи розробки програмних систем, формалізувати розробку та дослідження реляційні бази даних. Володіти елементарними навичками: розробки баз даних.

Мета дисципліни – засвоєння базових знань з операцій, що розширюють можливості табличної (реляційної) алгебри: агрегування, групування, сортування, напівз’єднання, зовнішні з’єднання. Навчальна дисципліна “Теорія табличних алгебр” є складовою освітньо-наукової програми підготовки фахівців за освітнім рівнем «магістр» галузі знань 12 “Інформаційні технології” зі спеціальності 122 „Комп’ютерні науки” за вибірковим блоком „Теорія та технологія програмування” освітньо-наукової програми „Інформатика”. Дана дисципліна є вибірковою дисципліною спеціалізації «Теорія та технологія програмування» за освітньою програмою “Інформатика”, вибірковий блок “Теорія та технологія програмування”. Викладається у 4 семестрі в обсязі – 120 годин (4 кредитів ECTS); зокрема: лекції – 28 год., консультації – 2 год., самостійна робота – 90 год. У курсі передбачено 2 частини, 2 контрольні роботи. Завершується дисципліна іспитом в 4 семестрі.

1. Abraham Silberschatz, Henry F. Korth, S. Sudarshan. Database System Concepts. – McGraw-Hill, 2020. – 1373 p. (https://db-book.com/) 2. C.J. Date. An Introduction to Database Systems. – Addison Wesley, 2003. – 1024 p. 3. S. C. Kleene. Introduction to metamathematics. – New York.: D.Van Nostrand Company, 1952. – 527 p. 4. В.Н.Редько, Ю.Й.Брона, Д.Б.Буй, С.А.Поляков, Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Видавницчий дім «Академперіодика, 2001. – 198 с. 5. Буй Д. Б. Композиційна семантика рекурсивних запитів в SQL-подібних мовах / Д. Б. Буй, С. А. Поляков // Вісник Київського університету. Сер.: фіз.-мат. науки. – 2010. – Вип. 1. – С. 45–56. 6. Буй Д. Б. Властивості відношення конфінальності та устрій множини часткових функцій / Д. Б. Буй, Н. Д. Кахута // Вісник Київського університету. Сер.: фіз.-мат. науки. – 2006. – Вип. 2. – С. 125–135.

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

Семестрове оцінювання: 1. Контрольна робота (тест) 1: РН 1.1., РН 1.2, РН 2.1 — 20 балів/12 балів. 2. Контрольна робота (тест) 2: РН1.2, РН1.3, РН 2.2 - 20 балів/12 балів. 3. Підготовка доповіді (за темами лекційних занять та самостійної роботи): РН 2.1, РН 2.2, РН 3.1, РН 4.1 – 20 балів/12 балів. Підсумкове оцінювання (у формі іспиту) вказується: - максимальна кількість балів які можуть бути отримані студентом: 40 балів; - результати навчання які будуть оцінюватись: PH1.1, PH1.2, PH1.3, РН 2.1, РН 2.2; - форма проведення і види завдань: письмова. Види завдань: 8 теоретичних запитань максимально по 5 балів за кожне. Критерії оцінювання відповіді студента на теоретичне питання: · повнота розкриття питання 1-2 бали; · логіка викладення 1 бал; · аналітичні міркування 1-2 бали.

Українська