Наукові видання каф-ри інформатики та інформаційних технологій
Постійне посилання зібранняhttps://dspace.cusu.edu.ua/handle/123456789/140
Переглянути
16 результатів
collection.search.results.head
Документ Формування аналітичної компетентності майбутнього вчителя інформатики при розв’язуванні завдань на проектування баз даних(РВВ ЦДПУ ім. В. Винниченка, 2018) Копотій, Вікторія Володимирівна; Копотий, Виктория Владимировна; Kopotiy, Viktoriia Volodymyrivna; Пузікова, Анна Валентинівна; Пузикова, Анна Валентиновна; Puzikova, Anna Valentynivna(ua) Стаття присвячена проблемам формування професійної компетентності вчителя інформатики у рамках компетентнісного підходу до навчання студентів. Зокрема, розглядається одна із складових професійної компетентності - аналітична компетентність. Її формування здійснюється через добір компетентнісних завдань, особливістю яких є практична спрямованість, зв’язок із реальними життєвими ситуаціями і міжпредметний характер. Компетентнісними завданнями з комп’ютерних дисциплін можуть виступати комплексні задачі прикладного характеру, для яких обов’язковим є застосування сучасних інформаційно-комунікаційних технологій. У даній роботі описано досвід формування аналітичної компетентності майбутнього вчителя інформатики при вивченні дисципліни «Бази даних», а також запропоновано приклад компетентнісного завдання з проектування реляційної схеми бази даних, виконання якого вимагає свідомого застосування строгих математичних методів з даної області знань.Документ Незалежність аксіоматики Армстронга та алгебра функціональних залежностей(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.Документ 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.Документ Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного слідувань; наво-дяться критерії повноти вказаних аксіоматик в термінах потужностей (1) універсального домену D, який розглядається при інтерпретаціях, та (2) схеми R, яка є параметром всіх побудов, бо розгляда-ються тільки таблиці, схеми яких є підсхемами вказаної схеми R.Документ Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерій(2014) Буй, Дмитро Борисович; Пузікова, Анна ВалентинівнаДокумент Теорія нормалізації в реляційних базах даних: сучасний стан(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Огляд теорії нормалізації в реляційних базах даних(2014) Буй, Дмитро Борисович; Пузікова, Анна ВалентинівнаДокумент Теорія нормалізації в реляційних базах даних (огляд)(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Bui, D. B.; Puzikova, A. V.(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.Документ Аксiоматика багатозначних залежностей табличних баз даних(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Редько, В. Н.(uk) Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.Документ 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.