Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2587
Назва: | Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria |
Автори: | Bui, Dmitriy Puzikova, Anna Буй, Дмитро Борисович Пузікова, Анна Валентинівна |
Ключові слова: | table databases functional dependencies multivalued dependencies completeness of axiomatic system |
Дата публікації: | 2015 |
Бібліографічний опис: | Bui 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. |
Короткий огляд (реферат): | (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. |
URI (Уніфікований ідентифікатор ресурсу): | http://dspace.kspu.kr.ua/jspui/handle/123456789/2587 |
Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Axiomatics for Multivalued Dependencies in Table Databases: .pdf | 250,79 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.