Незалежність аксіоматики функціональних залежностей армстронга
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Незалежність аксіоматики функціональних залежностей армстронга
|
|
| Creator |
Буй, Дмитро
Пузікова, Анна |
|
| Description |
У роботі показано, що аксіоматика Армстронга щодо функціональних залежностей, яка складається з аксіоми рефлексивності та двох правил виведення, є незалежною в тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення.
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. |
|
| Date |
2016-01-20T12:11:22Z
2016-01-20T12:11:22Z 2014 |
|
| Type |
Thesis
|
|
| Identifier |
Буй, Д. Незалежність аксіоматики функціональних залежностей армстронга [Текст] / Дмитро Буй, Анна Пузікова // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 54-55.
http://ir.lib.vntu.edu.ua/handle/123456789/4528 004.658.2 |
|
| Language |
uk_UA
|
|
| Publisher |
ВНТУ
|
|