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