Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2587
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Bui, Dmitriy | - |
dc.contributor.author | Puzikova, Anna | - |
dc.contributor.author | Буй, Дмитро Борисович | - |
dc.contributor.author | Пузікова, Анна Валентинівна | - |
dc.date.accessioned | 2017-06-26T12:47:59Z | - |
dc.date.available | 2017-06-26T12:47:59Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | 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. | uk_UA |
dc.identifier.uri | http://dspace.kspu.kr.ua/jspui/handle/123456789/2587 | - |
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.language.iso | en | uk_UA |
dc.subject | table databases | uk_UA |
dc.subject | functional dependencies | uk_UA |
dc.subject | multivalued dependencies | uk_UA |
dc.subject | completeness of axiomatic system | uk_UA |
dc.title | Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria | uk_UA |
dc.type | Article | uk_UA |
Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
Axiomatics for Multivalued Dependencies in Table Databases: .pdf | 250,79 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.