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

• Published in: Доповіді НАН України
• Date: 2015
• Main Authors: Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
• Format: Article
• Language: Ukrainian
• Published: Видавничий дім "Академперіодика" НАН України 2015
• Subjects: Інформатика та кібернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/96787
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.

Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв. Рассматривается аксиоматика многозначных зависимостей в табличных базах данных и
 аксиоматика функциональных и многозначных зависимостей; устанавливается, полнота
 этих аксиоматик в терминах совпадения отношений синтаксического и семантического
 следований, а также критерий полноты аксиоматик в терминах мощностей универсального домена и множества атрибутов. Axiomatics for multivalued dependences in table databases and for functional and multivalued
 dependences is 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.