Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2584| Назва: | Незалежність аксіоматики функціональних залежностей Армстронга |
| Автори: | Буй, Дмитро Борисович Пузікова, Анна Валентинівна |
| Дата публікації: | 2014 |
| Видавництво: | ВНТУ |
| Бібліографічний опис: | Буй Д. Б. Незалежність аксіоматики функціональних залежностей Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Інтернет-Освіта-Наука-2014 : матеріали ІX Міжнародної науково-практичної конференції (Вінниця, 14-17 жовтня 2014 р.). – Вінниця : ВНТУ, 2014. – C. 54-55. |
| Короткий огляд (реферат): | (uk) У роботі показано, що аксіоматика Армстронга щодо функціональних залежностей, яка складається з аксіоми рефлексивності та двох правил виведення, є незалежною в тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення. (en) It is shown that Armstrong’s axiomatic system (as for the functional dependences of relational databases), which consist of the axiom of reflexivity and two inference rules is independent, i.e. completeness of Armstrong’s axiomatic system is violated if removed one of its components. |
| URI (Уніфікований ідентифікатор ресурсу): | http://dspace.kspu.kr.ua/jspui/handle/123456789/2584 |
| Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Незалежність аксіоматики функціональних залежностей Армстронга.pdf | 500,62 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.