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

• Veröffentlicht in: Штучний інтелект
• Datum: 2015
• Hauptverfasser: Буй, Д.Б., Пузікова, А.В.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2015
• Schlagworte: Теорія та засоби обчислювального інтелекту
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/117157
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Незалежність аксіоматики Армстронга та алгебра функціональних залежностей / Д.Б. Буй, А.В. Пузікова // Штучний інтелект. — 2015. — № 1-2. — С. 121-126. — Бібліогр.: 3 назв. — укр.

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