Axiomatics for multivalued dependencies in table databases: correctness and completeness

Скорочена інформація про документ
dc.contributor.authorBui, Dmitriy
dc.contributor.authorPuzikova, Anna
dc.contributor.authorПузікова, Анна Валентинівна
dc.contributor.authorБуй, Дмитро Борисович
dc.date.accessioned2017-06-26T12:47:44Z
dc.date.available2017-06-26T12:47:44Z
dc.date.issued2015
dc.description.abstract(en) Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed. For each axiomatic relations of syntactic and semantic succession are considered. A rigorous and convincing proof of correctness and completeness of these axiomatics (within the paradigm of mathematical logic) is established. In particular, the properties of closures of sets of specified dependencies are investigated. The properties of set-theoretic function restriction have been used as mathematical framework.uk_UA
dc.identifier.citationBui D. Axiomatics for multivalued dependencies in table databases: correctness and completeness / D. Bui, A. Puzikova // Workshop on Foundations of Informatics : Proceedings FOI-2015 (August 24-29, 2015, Chişinău) / Inst. of Mathematics and Computer Science, Acad. of Sciences of Moldova; ed.: S. Cojocaru, C. Gaindric. – Chişinău : Institut of Mathematics and Computer Science, 2015. - P. 361-376.uk_UA
dc.identifier.urihttps://dspace.cusu.edu.ua/handle/123456789/2586
dc.language.isoenuk_UA
dc.publisherInstitut of Mathematics and Computer Scienceuk_UA
dc.subjecttable databasesuk_UA
dc.subjectcompleteness of axiomatic systemuk_UA
dc.subjectmultivalued dependenciesuk_UA
dc.subjectfunctional dependenciesuk_UA
dc.titleAxiomatics for multivalued dependencies in table databases: correctness and completenessuk_UA
dc.typeArticleuk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Axiomatics for multivalued dependencies in table databases: correctness and completeness.pdf
Розмір:
220.51 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.12 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

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