Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2568| Назва: | Повнота аксіоматики Армстронга |
| Автори: | Буй, Дмитро Борисович Пузікова, Анна Валентинівна |
| Ключові слова: | аксіоматика Армстронга повнота функціональна залежність реляційні бази даних |
| Дата публікації: | 2011 |
| Видавництво: | Київський національний університет імені Тараса Шевченка |
| Бібліографічний опис: | Буй Д. Б. Повнота аксіоматики Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Вісник Київського національного університету імені Тараса Шевченка. Сер.: фіз.-мат. науки. – К. : Київський національний університет імені Тараса Шевченка, 2011. – № 3. – С. 103-108. |
| Короткий огляд (реферат): | (uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною. |
| URI (Уніфікований ідентифікатор ресурсу): | http://dspace.kspu.kr.ua/jspui/handle/123456789/2568 |
| Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Повнота аксіоматики Армстронга.pdf | 1,38 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.