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

• Published in: Штучний інтелект
• Date: 2015
• Main Authors: Буй, Д.Б., Пузікова, А.В.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2015
• Subjects: Теорія та засоби обчислювального інтелекту
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/117157
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Незалежність аксіоматики Армстронга та алгебра функціональних залежностей / Д.Б. Буй, А.В. Пузікова // Штучний інтелект. — 2015. — № 1-2. — С. 121-126. — Бібліогр.: 3 назв. — укр.

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