Незалежність аксіоматики Армстронга та алгебра функціональних залежностей
Дата
2015
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.
(ru) Показывается независимость составляющих аксиоматики Армстронга для функциональных зависимостей в реляционных базах данных. Строится алгебра функциональных зависимостей, операции которой определяются в соответствии с составляющими аксиоматики Армстронга.
(en) 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.
(ru) Показывается независимость составляющих аксиоматики Армстронга для функциональных зависимостей в реляционных базах данных. Строится алгебра функциональных зависимостей, операции которой определяются в соответствии с составляющими аксиоматики Армстронга.
(en) 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.
Опис
Ключові слова
реляційні бази даних, аксіоматика Армстронга, функціональні залежності, relational databases, Armstrong’s axiomatic system, functional dependencies, реляционные базы данных, аксиоматика Армстронга, функциональные зависимости
Бібліографічний опис
Буй Д. Б. Незалежність аксіоматики Армстронга та алгебра функціональних залежностей / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Штучний інтелект. - 2015. - № 1/2. - С. 121-126.