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

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

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

Full description

Saved in:
Bibliographic Details
Published in:Доповіді НАН України
Date:2015
Main Authors: Редько, В.Н., Буй, Д.Б., Пузiкова, А.В.
Format: Article
Language:Ukrainian
Published: Видавничий дім "Академперіодика" НАН України 2015
Subjects:
Інформатика та кібернетика
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/96787
Tags: Add Tag
No Tags, Be the first to tag this record!
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 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-96787
record_format dspace
spelling Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
2016-03-20T14:29:15Z
2016-03-20T14:29:15Z
2015
Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.
1025-6415
https://nasplib.isofts.kiev.ua/handle/123456789/96787
004.655
Розглядаються акс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.
uk
Видавничий дім "Академперіодика" НАН України
Доповіді НАН України
Інформатика та кібернетика
Аксiоматика багатозначних залежностей табличних баз даних
Аксиоматика многозначных зависимостей табличных баз данных
An axiomatics for multivalued dependences in tabular databases
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Аксiоматика багатозначних залежностей табличних баз даних
spellingShingle Аксiоматика багатозначних залежностей табличних баз даних
Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
Інформатика та кібернетика
title_short Аксiоматика багатозначних залежностей табличних баз даних
title_full Аксiоматика багатозначних залежностей табличних баз даних
title_fullStr Аксiоматика багатозначних залежностей табличних баз даних
title_full_unstemmed Аксiоматика багатозначних залежностей табличних баз даних
title_sort аксiоматика багатозначних залежностей табличних баз даних
author Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
author_facet Редько, В.Н.
Буй, Д.Б.
Пузiкова, А.В.
topic Інформатика та кібернетика
topic_facet Інформатика та кібернетика
publishDate 2015
language Ukrainian
container_title Доповіді НАН України
publisher Видавничий дім "Академперіодика" НАН України
format Article
title_alt Аксиоматика многозначных зависимостей табличных баз данных
An axiomatics for multivalued dependences in tabular databases
description Розглядаються акс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.
issn 1025-6415
url https://nasplib.isofts.kiev.ua/handle/123456789/96787
citation_txt Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр.
work_keys_str_mv AT redʹkovn aksiomatikabagatoznačnihzaležnosteitabličnihbazdanih
AT buidb aksiomatikabagatoznačnihzaležnosteitabličnihbazdanih
AT puzikovaav aksiomatikabagatoznačnihzaležnosteitabličnihbazdanih
AT redʹkovn aksiomatikamnogoznačnyhzavisimosteitabličnyhbazdannyh
AT buidb aksiomatikamnogoznačnyhzavisimosteitabličnyhbazdannyh
AT puzikovaav aksiomatikamnogoznačnyhzavisimosteitabličnyhbazdannyh
AT redʹkovn anaxiomaticsformultivalueddependencesintabulardatabases
AT buidb anaxiomaticsformultivalueddependencesintabulardatabases
AT puzikovaav anaxiomaticsformultivalueddependencesintabulardatabases
first_indexed 2025-12-07T20:22:15Z
last_indexed 2025-12-07T20:22:15Z
_version_ 1850882324017709056

Similar Items