Перегляд за Автор "Пузікова, Анна Валентинівна"

Зараз показуємо 1 - 18 з 18

Axiomatics for multivalued dependencies in table databases: correctness and completeness
(Institut of Mathematics and Computer Science, 2015) Bui, Dmitriy; Puzikova, Anna; Пузікова, Анна Валентинівна; Буй, Дмитро Борисович
(en) Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed. For each axiomatic relations of syntactic and semantic succession are considered. A rigorous and convincing proof of correctness and completeness of these axiomatics (within the paradigm of mathematical logic) is established. In particular, the properties of closures of sets of specified dependencies are investigated. The properties of set-theoretic function restriction have been used as mathematical framework.
Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria
(2015) Bui, Dmitriy; Puzikova, Anna; Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(en) Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed; the completeness of these axiomatics is established in terms of coincidence of syntactic and semantic consequence relations; the completeness criteria for these axiomatic systems are formulated in terms of cardinalities (1) of the universal domain D , which is considering in interpretations, and (2) the scheme R, which is a parameter of all constructions, because only the tables which attributes belong to this scheme R are considering. The results obtained in this paper and developed mathematical technique can be used for algorithmic support of normalization in table databases.
Completeness of armstrong's axiomatic
(2011) Buy, Dmitriy; Puzikova, Anna; Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(en) This paper presents a rigorous and convincing proof that Armstrong’s axiomatic system (as the foundation of relational database normalization theory) is complete and sound within the paradigm of mathematical logic: the relations of syntactic and semantic entailment are introduced and it is shown that they coincide. The properties of set-theoretic data structure functional constraints have been used as mathematical framework.
Аксiоматика багатозначних залежностей табличних баз даних
(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Редько, В. Н.
(uk) Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.
Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти
(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного слідувань; наво-дяться критерії повноти вказаних аксіоматик в термінах потужностей (1) універсального домену D, який розглядається при інтерпретаціях, та (2) схеми R, яка є параметром всіх побудов, бо розгляда-ються тільки таблиці, схеми яких є підсхемами вказаної схеми R.
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерій
(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
Деякі некласичні нормальні форми в реляційних базах даних
(Київський національний університет імені Тараса Шевченка, 2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) Обговорюються означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показана нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Фейгіним. На основі аналізу першоджерел та власних результатів встановлені логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.
Застосування навчальних проєктів у навчанні програмування
(Видавничий дім «Гельветика», 2024) Пузікова, Анна Валентинівна; Лупан, Ірина Володимирівна; Puzikova, Anna Valentynivna; Lupan, Iryna Volodymyrivna
(ua) Метод проєктів впроваджується у практику навчання в закладах загальної середньої освіти України протягом останніх двох десятиліть. За цей час він показав свою ефективність і досить органічно вписався в освітній процес. Отже, цілком природним є процес поступового впровадження методу проєктів у навчальний процес закладів вищої освіти. Застосування методу проєктів під час підготовки майбутніх фахівців різних спеціальностей дає змогу посилити мотивацію до навчання, тісніше пов’язати теорію з практикою тощо. Напевне, найперше метод проєктів застосовували до навчання майбутніх вчителів, зокрема вчителів інформатики, але з кожним роком збільшується кількість свідчень про застосування цього методу до навчання фахівців інших професій, наприклад майбутніх лікарів, правознавців та інших. Статтю присвячено опису досвіду застосування методу проєктів до навчання програмування фахівців спеціальності «Комп’ютерні науки». Сформульовані практичні завдання, які студенти виконують під час вивчення об’єктно-орієнтованого програмування, описано особливості його постановки та реалізації за проєктною методикою. У запропонованому авторами підході завдання, об’єднані єдиним сюжетом, а саме «Розробка графічного редактора», поділялися на кроки, що відповідали логіці вивчення цього розділу програмування та поступовому нарощуванню функціонала розроблюваного графічного редактора. Тобто фактично студенти реалізовували індивідуальні практично-орієнтовані творчі проєкти. Створені в процесі виконання лабораторних робіт оригінальні графічні редактори були продемонстровані під час «Тижня інформатики» й оцінені незалежним журі. Більшість представлених розробок отримала високі бали, при цьому вони добре корелювали з оцінками, отриманими пізніше на відповідному семестровому екзамені. Отже, наш досвід показав, що виконання навчальних проєктів сприяє формуванню у студентів компетентностей, передбачених освітньо-професійною програмою «Комп’ютерні науки», за якою відбувається підготовка студентів за спеціальністю 122 «Комп’ютерні науки». (en) The project method has been implemented in the practice of education in general secondary education institutions of Ukraine during the last two decades. During this time, it showed its effectiveness and quite organically fit into the educational process. Accordingly, the process of gradually introducing the project method into the educational process of higher education institutions is quite natural. The application of the project method in the training of future specialists of various specialties makes it possible to strengthen the motivation to study, to more closely connect theory with practice, etc. Probably, in the first place, the project method was applied to the training of future teachers, in particular, computer science teachers, but every year the number of testimonies about the application of this method to the training of specialists of other professions, for example, future doctors, lawyers and others, is increasing. This article is devoted to the description of the experience of applying the project method to the programming training of “Computer Science” specialists. The practical task that students perform when studying object-oriented programming is formulated, and the features of its creation and implementation according to the project method are described. In the approach proposed by the authors, tasks united by a single subject, namely “Development of a graphic editor”, were divided into steps that corresponded to the logic of studying this section of programming and gradually increasing the functionality of the developed graphic editor. That is, in fact, students implemented individual practical-oriented creative projects. The original graphic editors created during the laboratory work were demonstrated during the Informatics Week and evaluated by an independent jury. Most of the presented designs received high scores, while they correlated well with the scores obtained later in the corresponding semester exam. Thus, our experience has shown that the implementation of educational projects contributes to the formation of competencies provided for students who study by the educational and professional program “Computer Science”.
Критерии полноты аксиоматик зависимостей в табличных базах данных
(МАКС Пресс, 2015) Пузикова, Анна Валентиновна; Пузікова, Анна Валентинівна; Буй, Дмитрий Борисович
Математична теорія нормалізації: нормальні форми 2-4 порядків
(Київський національний університет імені Тараса Шевченка, 2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) У статті викладено фрагмент математичної теорії нормалізації: наводяться строгі означення 2-4 нормальних форм (НФ) для табличних (реляційних) баз даних; визначаються потенційні ключі за умов, коли значення потужностей реляційної схеми і домена знаходяться у межах |R| <= 2 або |D| <= 1 (розглядаються умови, коли аксіоматика Армстронга не є повною); вказуються достатні умови для знаходження у 2-4 НФ для спеціальних випадків; встановлюються логічні зв’язки між сформульованими означеннями 2-4 НФ.
Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.
Незалежність аксіоматики функціональних залежностей Армстронга
(ВНТУ, 2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) У роботі показано, що аксіоматика Армстронга щодо функціональних залежностей, яка складається з аксіоми рефлексивності та двох правил виведення, є незалежною в тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення.
Огляд теорії нормалізації в реляційних базах даних
(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
Повнота аксіоматики Армстронга
(Київський національний університет імені Тараса Шевченка, 2011) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.
Теорія нормалізації в реляційних базах даних (огляд)
(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Bui, D. B.; Puzikova, A. V.
(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.
Теорія нормалізації в реляційних базах даних: сучасний стан
(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна
(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.
Формування аналітичної компетентності майбутнього вчителя інформатики при розв’язуванні завдань на проектування баз даних
(РВВ ЦДПУ ім. В. Винниченка, 2018) Копотій, Вікторія Володимирівна; Копотий, Виктория Владимировна; Kopotiy, Viktoriia Volodymyrivna; Пузікова, Анна Валентинівна; Пузикова, Анна Валентиновна; Puzikova, Anna Valentynivna
(ua) Стаття присвячена проблемам формування професійної компетентності вчителя інформатики у рамках компетентнісного підходу до навчання студентів. Зокрема, розглядається одна із складових професійної компетентності - аналітична компетентність. Її формування здійснюється через добір компетентнісних завдань, особливістю яких є практична спрямованість, зв’язок із реальними життєвими ситуаціями і міжпредметний характер. Компетентнісними завданнями з комп’ютерних дисциплін можуть виступати комплексні задачі прикладного характеру, для яких обов’язковим є застосування сучасних інформаційно-комунікаційних технологій. У даній роботі описано досвід формування аналітичної компетентності майбутнього вчителя інформатики при вивченні дисципліни «Бази даних», а також запропоновано приклад компетентнісного завдання з проектування реляційної схеми бази даних, виконання якого вимагає свідомого застосування строгих математичних методів з даної області знань.
Формування змісту курсу «Бази даних та інформаційні системи» для майбутніх учителів інформатики
(РВВ ЦДПУ ім. В. Винниченка, 2020) Пузікова, Анна Валентинівна; Матяш, Вікторія Володимирівна; Пузикова, Анна Валентиновна; Матяш, Виктория Владимировна; Puzikova, Anna Valentinivna; Matiash, Viktoriia Volodymyrivna
(ua) Стаття присвячена проблемам формування змісту та вибору програмних засобів для реалізації курсу «Бази даних та інформаційні системи», як необхідної складової професійної підготовки бакалаврів за спеціальністю 014 Середня освіта (Інформатика). Теоретичні та практичні положення курсу, пов’язані з питаннями архітектури, проектування та створення баз даних, пропонується розглядати на прикладі СУБД Microsoft Office Access, а вивчення системних аспектів SQL, безпеки і авторизації користувачів, механізмів захисту даних, резервування і відновлення даних, а також адміністрування баз даних, – з використанням CASE-засобу MySQL Workbench і клієнтського терміналу сервера MySQL. Представлена програма курсу «Бази даних та інформаційні системи», орієнтована на вчителів інформатики, була успішно апробована у 2019-2020 н.р.