Аксiоматика багатозначних залежностей табличних баз даних
Ескіз недоступний
Дата
2015
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
(uk) Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.
(ru) Рассматривается аксиоматика многозначных зависимостей в табличных базах данных и аксиоматика функциональных и многозначных зависимостей; устанавливается, полнота этих аксиоматик в терминах совпадения отношений синтаксического и семантического следований, а также критерий полноты аксиоматик в терминах мощностей универсального домена и множества атрибутов.
(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.
(ru) Рассматривается аксиоматика многозначных зависимостей в табличных базах данных и аксиоматика функциональных и многозначных зависимостей; устанавливается, полнота этих аксиоматик в терминах совпадения отношений синтаксического и семантического следований, а также критерий полноты аксиоматик в терминах мощностей универсального домена и множества атрибутов.
(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.
Опис
Ключові слова
табличнi бази даних, критерiй повноти, функцiональнi залежностi, багатозначнi залежностi, повнота аксiоматики, table databases, completeness criteria, completeness of axiomatic system, multivalued dependencies, functional dependencies
Бібліографічний опис
Буй Д. Б. Аксіоматика багатозначних залежностей табличних баз даних / Дмитро Борисович Буй, Анна Валентинівна Пузікова, В. Н. Редько // Доповіді НАН України. – 2015. – № 6. – С. 24-29.