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

Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах...

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Видавничий дім "Академперіодика" НАН України
Дата:2015
Автори: Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Видавничий дім "Академперіодика" НАН України 2015
Назва видання:Доповіді НАН України
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/96787
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-96787
record_format dspace
spelling irk-123456789-967872017-11-02T12:53:41Z Аксiоматика багатозначних залежностей табличних баз даних Редько, В.Н. Буй, Д.Б. Пузiкова, А.В. Інформатика та кібернетика Розглядаються акс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. 2015 Article Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр. 1025-6415 http://dspace.nbuv.gov.ua/handle/123456789/96787 004.655 uk Доповіді НАН України Видавничий дім "Академперіодика" НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Ukrainian
topic Інформатика та кібернетика
Інформатика та кібернетика
spellingShingle Інформатика та кібернетика
Інформатика та кібернетика
Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
Аксiоматика багатозначних залежностей табличних баз даних
Доповіді НАН України
description Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах потужностей унiверсального домену та множини атрибутiв.
format Article
author Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
author_facet Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
author_sort Редько, В.Н.
title Аксiоматика багатозначних залежностей табличних баз даних
title_short Аксiоматика багатозначних залежностей табличних баз даних
title_full Аксiоматика багатозначних залежностей табличних баз даних
title_fullStr Аксiоматика багатозначних залежностей табличних баз даних
title_full_unstemmed Аксiоматика багатозначних залежностей табличних баз даних
title_sort аксiоматика багатозначних залежностей табличних баз даних
publisher Видавничий дім "Академперіодика" НАН України
publishDate 2015
topic_facet Інформатика та кібернетика
url http://dspace.nbuv.gov.ua/handle/123456789/96787
citation_txt Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.
series Доповіді НАН України
work_keys_str_mv AT redʹkovn aksiomatikabagatoznačnihzaležnostejtabličnihbazdanih
AT bujdb aksiomatikabagatoznačnihzaležnostejtabličnihbazdanih
AT puzikovaav aksiomatikabagatoznačnihzaležnostejtabličnihbazdanih
first_indexed 2023-10-18T19:56:06Z
last_indexed 2023-10-18T19:56:06Z
_version_ 1796148311273504768