Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2615
Назва: | Completeness of armstrong's axiomatic |
Автори: | Buy, Dmitriy Puzikova, Anna Буй, Дмитро Борисович Пузікова, Анна Валентинівна |
Ключові слова: | scheme functional dependence semantically deduced normalization |
Дата публікації: | 2011 |
Бібліографічний опис: | Buy D. Completeness of armstrong's axiomatic / D. Bui, A. Puzikova // Critical infrastructure safety and security (CrlSS-DESSERT'11) (Kirovograd Ukraine May 11-13 2011). - Kharkiv, 2011. - Vol. 1. - P. 211-215. |
Короткий огляд (реферат): | (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. |
URI (Уніфікований ідентифікатор ресурсу): | http://dspace.kspu.kr.ua/jspui/handle/123456789/2615 |
Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Completeness of armstrongs axiomatic.pdf | 250,16 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.