Completeness of armstrong's axiomatic

Скорочена інформація про документ
dc.contributor.authorBuy, Dmitriy
dc.contributor.authorPuzikova, Anna
dc.contributor.authorБуй, Дмитро Борисович
dc.contributor.authorПузікова, Анна Валентинівна
dc.date.accessioned2017-06-30T07:30:14Z
dc.date.available2017-06-30T07:30:14Z
dc.date.issued2011
dc.description.abstract(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.uk_UA
dc.identifier.citationBuy 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.uk_UA
dc.identifier.urihttps://dspace.cusu.edu.ua/handle/123456789/2615
dc.language.isoenuk_UA
dc.subjectschemeuk_UA
dc.subjectfunctional dependenceuk_UA
dc.subjectsemantically deduceduk_UA
dc.subjectnormalizationuk_UA
dc.titleCompleteness of armstrong's axiomaticuk_UA
dc.typeArticleuk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Completeness of armstrongs axiomatic.pdf
Розмір:
250.16 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.12 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Наукові видання каф-ри інформатики та інформаційних технологій