Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://dspace.kspu.kr.ua/jspui/handle/123456789/2614
Повний запис метаданих
Поле DC | Значення | Мова |
---|---|---|
dc.contributor.author | Буй, Дмитро Борисович | - |
dc.contributor.author | Пузікова, Анна Валентинівна | - |
dc.date.accessioned | 2017-06-30T07:29:55Z | - |
dc.date.available | 2017-06-30T07:29:55Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Буй Д. Б. Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Волинський математичний вісник. Серія прикладна математика : зб. наук. праць. - Рівне, 2015. - Вип. 11 (20) : Міжнародна наукова конференція «Сучасні проблеми математичного моделювання та обчислювальних методів» (Рівне, Україна, 19-22 лютого 2015 р.). - С. 172-189. | uk_UA |
dc.identifier.uri | http://dspace.kspu.kr.ua/jspui/handle/123456789/2614 | - |
dc.description.abstract | (uk) Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного слідувань; наво-дяться критерії повноти вказаних аксіоматик в термінах потужностей (1) універсального домену D, який розглядається при інтерпретаціях, та (2) схеми R, яка є параметром всіх побудов, бо розгляда-ються тільки таблиці, схеми яких є підсхемами вказаної схеми R. | uk_UA |
dc.description.abstract | (en) Axiomatic system for multivalued dependencies in table databases and axiomatic system for functional and multivalued dependencies are reviewed; the completeness of these axiomatic systems 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 with schemes which are subschemas of this scheme R are considering. | uk_UA |
dc.language.iso | uk | uk_UA |
dc.subject | табличні бази даних | uk_UA |
dc.subject | функціональні залежності | uk_UA |
dc.subject | багатозначні залежності | uk_UA |
dc.subject | повнота аксіоматики | 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 | Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти | uk_UA |
dc.type | Article | uk_UA |
Розташовується у зібраннях: | Наукові видання каф-ри інформатики та інформаційних технологій |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
АКСІОМАТИКА БАГАТОЗНАЧНИХ ЗАЛЕЖНОСТЕЙ ТАБЛИЧНИХ БАЗ ДАНИХ.pdf | 832,72 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.