| dc.contributor.author | Буй, Дмитро | uk |
| dc.contributor.author | Пузікова, Анна | uk |
| dc.date.accessioned | 2016-01-20T12:11:22Z | |
| dc.date.available | 2016-01-20T12:11:22Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | Буй, Д. Незалежність аксіоматики функціональних залежностей армстронга [Текст] / Дмитро Буй, Анна Пузікова // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 54-55. | uk |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/4528 | |
| dc.description.abstract | У роботі показано, що аксіоматика Армстронга щодо функціональних залежностей, яка складається з аксіоми рефлексивності та двох правил виведення, є незалежною в тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення. | uk |
| dc.description.abstract | 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. | en |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | ВНТУ | uk |
| dc.title | Незалежність аксіоматики функціональних залежностей армстронга | uk |
| dc.type | Thesis | |
| dc.identifier.udc | 004.658.2 | |
