Аксiоматика багатозначних залежностей табличних баз даних

Скорочена інформація про документ
dc.contributor.authorБуй, Дмитро Борисович
dc.contributor.authorПузікова, Анна Валентинівна
dc.contributor.authorРедько, В. Н.
dc.date.accessioned2017-06-26T12:48:11Z
dc.date.available2017-06-26T12:48:11Z
dc.date.issued2015
dc.description.abstract(uk) Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.uk_UA
dc.description.abstract(ru) Рассматривается аксиоматика многозначных зависимостей в табличных базах данных и аксиоматика функциональных и многозначных зависимостей; устанавливается, полнота этих аксиоматик в терминах совпадения отношений синтаксического и семантического следований, а также критерий полноты аксиоматик в терминах мощностей универсального домена и множества атрибутов.uk_UA
dc.description.abstract(en) Axiomatic system for multivalued dependences in table databases and for functional and multivalued dependences are considered. The completeness of these axiomatic systems is established in terms of the coincidence of syntactic and semantic consequence relations. The completeness criteria for these axiomatic systems are formulated in terms of cardinalities of the universal domain and the set of attributes.uk_UA
dc.identifier.citationБуй Д. Б. Аксіоматика багатозначних залежностей табличних баз даних / Дмитро Борисович Буй, Анна Валентинівна Пузікова, В. Н. Редько // Доповіді НАН України. – 2015. – № 6. – С. 24-29.uk_UA
dc.identifier.urihttp://dspace.kspu.kr.ua/jspui/handle/123456789/2588
dc.language.isoukuk_UA
dc.subjectтабличнi бази данихuk_UA
dc.subjectкритерiй повнотиuk_UA
dc.subjectфункцiональнi залежностiuk_UA
dc.subjectбагатозначнi залежностiuk_UA
dc.subjectповнота аксiоматикиuk_UA
dc.subjecttable databasesuk_UA
dc.subjectcompleteness criteriauk_UA
dc.subjectcompleteness of axiomatic systemuk_UA
dc.subjectmultivalued dependenciesuk_UA
dc.subjectfunctional dependenciesuk_UA
dc.titleАксiоматика багатозначних залежностей табличних баз данихuk_UA
dc.title.alternativeAn axiomatic system for multivalued dependences in tabular databasesuk_UA
dc.title.alternativeАксиоматика многозначных зависимостей табличных баз данныхuk_UA
dc.typeArticleuk_UA

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
Dopovidi2015-06Zmist.pdf
Розмір:
50.83 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.12 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

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