Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria

Скорочена інформація про документ
dc.contributor.authorBui, Dmitriy
dc.contributor.authorPuzikova, Anna
dc.contributor.authorБуй, Дмитро Борисович
dc.contributor.authorПузікова, Анна Валентинівна
dc.date.accessioned2017-06-26T12:47:59Z
dc.date.available2017-06-26T12:47:59Z
dc.date.issued2015
dc.description.abstract(en) Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed; the completeness of these axiomatics is established in terms of coincidence of syntactic and semantic consequence relations; the completeness criteria for these axiomatic systems are formulated in terms of cardinalities (1) of the universal domain D , which is considering in interpretations, and (2) the scheme R, which is a parameter of all constructions, because only the tables which attributes belong to this scheme R are considering. The results obtained in this paper and developed mathematical technique can be used for algorithmic support of normalization in table databases.uk_UA
dc.identifier.citationBui D., Puzikova A. Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria / D. Bui, A. Puzikova // Advances in Intelligent Systems and Computing. Vol. 365 : Theory and Engineering of Complex Systems and Dependability : Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX (June 29 – July 3, 2015, Brunów, Poland). - Poland, 2015. - P. 45-55.uk_UA
dc.identifier.urihttp://dspace.kspu.kr.ua/jspui/handle/123456789/2587
dc.language.isoenuk_UA
dc.subjecttable databasesuk_UA
dc.subjectfunctional dependenciesuk_UA
dc.subjectmultivalued dependenciesuk_UA
dc.subjectcompleteness of axiomatic systemuk_UA
dc.titleAxiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteriauk_UA
dc.typeArticleuk_UA

Файли

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

Зібрання

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