Незалежність аксіоматики Армстронга та алгебра функціональних залежностей

Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга. We establish the independence of the Armstrong’s axiomatic s...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Штучний інтелект
Дата:2015
Автори: Буй, Д.Б., Пузікова, А.В.
Формат: Стаття
Мова:Ukrainian
Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2015
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/117157
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Незалежність аксіоматики Армстронга та алгебра функціональних залежностей / Д.Б. Буй, А.В. Пузікова // Штучний інтелект. — 2015. — № 1-2. — С. 121-126. — Бібліогр.: 3 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга. We establish the independence of the Armstrong’s axiomatic system (as for the functional dependences of relational databases) and built the algebra of functional dependencies with operations that are induced by components of this axiomatics. Показывается независимость составляющих аксиоматики Армстронга для функциональных зависимостей в реляционных базах данных. Строится алгебра функциональных зависимостей, операции которой определяются в соответствии с составляющими аксиоматики Армстронга.
ISSN:1561-5359