Аксiоматика багатозначних залежностей табличних баз даних
Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та семантичного прямування; наводяться критерiї повноти вказаних аксiоматик в термiнах...
Збережено в:
| Опубліковано в: : | Доповіді НАН України |
|---|---|
| Дата: | 2015 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Видавничий дім "Академперіодика" НАН України
2015
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/96787 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862741989891506176 |
|---|---|
| author | Редько, В.Н. Буй, Д.Б. Пузiкова, А.В. |
| author_facet | Редько, В.Н. Буй, Д.Б. Пузiкова, А.В. |
| citation_txt | Аксiоматика багатозначних залежностей табличних баз даних / В.Н. Редько, Д.Б. Буй, А.В. Пузiкова // Доповiдi Нацiональної академiї наук України. — 2015. — № 6. — С. 24-29. — Бібліогр.: 5 назв. — укр. |
| collection | DSpace DC |
| container_title | Доповіді НАН України |
| 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.
|
| first_indexed | 2025-12-07T20:22:15Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-96787 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Ukrainian |
| last_indexed | 2025-12-07T20:22:15Z |
| publishDate | 2015 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| 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 |
| spellingShingle | Аксiоматика багатозначних залежностей табличних баз даних Редько, В.Н. Буй, Д.Б. Пузiкова, А.В. Інформатика та кібернетика |
| title | Аксiоматика багатозначних залежностей табличних баз даних |
| title_alt | Аксиоматика многозначных зависимостей табличных баз данных An axiomatics for multivalued dependences in tabular databases |
| title_full | Аксiоматика багатозначних залежностей табличних баз даних |
| title_fullStr | Аксiоматика багатозначних залежностей табличних баз даних |
| title_full_unstemmed | Аксiоматика багатозначних залежностей табличних баз даних |
| title_short | Аксiоматика багатозначних залежностей табличних баз даних |
| title_sort | аксiоматика багатозначних залежностей табличних баз даних |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/96787 |
| 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 |