Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти

Скорочена інформація про документ
dc.contributor.authorБуй, Дмитро Борисович
dc.contributor.authorПузікова, Анна Валентинівна
dc.date.accessioned2017-06-30T07:29:55Z
dc.date.available2017-06-30T07:29:55Z
dc.date.issued2015
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.identifier.citationБуй Д. Б. Аксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повноти / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Волинський математичний вісник. Серія прикладна математика : зб. наук. праць. - Рівне, 2015. - Вип. 11 (20) : Міжнародна наукова конференція «Сучасні проблеми математичного моделювання та обчислювальних методів» (Рівне, Україна, 19-22 лютого 2015 р.). - С. 172-189.uk_UA
dc.identifier.urihttp://dspace.kspu.kr.ua/jspui/handle/123456789/2614
dc.language.isoukuk_UA
dc.subjectтабличні бази данихuk_UA
dc.subjectфункціональні залежностіuk_UA
dc.subjectбагатозначні залежностіuk_UA
dc.subjectповнота аксіоматикиuk_UA
dc.subjecttable databasesuk_UA
dc.subjectfunctional dependenciesuk_UA
dc.subjectmultivalued dependenciesuk_UA
dc.subjectcompleteness of axiomatic systemuk_UA
dc.titleАксіоматика багатозначних залежностей табличних баз даних: коректність, повнота, критерій повнотиuk_UA
dc.typeArticleuk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
АКСІОМАТИКА БАГАТОЗНАЧНИХ ЗАЛЕЖНОСТЕЙ ТАБЛИЧНИХ БАЗ ДАНИХ.pdf
Розмір:
832.72 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.12 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

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