Штучний інтелект

Науковий журнал

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Шукати за:

Роком видання
Автором
Назвою статті

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

Буй Д.Б.1, Пузікова А.В.1
1 Київський національний університет імені Тараса Шевченка

Повний текст (PDF)

УДК: 004.65
Мова публікації: Українська
Stuc. intelekt. 2015; 20; (1-2):121-126

Анотація: Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.

Ключові слова: реляційні бази даних, аксіоматика Армстронга, функціональні залежності.

Посилання:

  1. Буй Д.Б. Повнота аксіоматики Армстронга / Д.Б. Буй, А.В. Пузікова // Вісник Київського національногоуніверситету ім. Т. Шевченка. Серія: фіз.-мат. науки, 2011. – № 3. – С. 103-108.
  2. Буй Д.Б. Критерій повноти аксіоматики Армстронга / Д.Б. Буй, А.В. Пузікова . // Матеріали 8-оїміжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» –TAAPSD’2011 (Україна, Ялта, 19-23 вересня 2011 року). – C. 30-34.
  3. Мальцев А.И. Алгоритмы и вычислимые функции.  М.: Наука, 1965.  392 с.

Переглянути повний текст статті (PDF)