Студопедия.Орг Главная | Случайная страница | Контакты | Мы поможем в написании вашей работы!  
 

Править]Правила вывода Армстронга



В 1974 году Вильям Армстронг предложил набор правил вывода новых функциональных зависимостей на основе данных.

Пусть у нас есть отношение и множества атрибутов . Для сокращения записи вместо будем писать просто .

· Рефлексивность:

· Пополнение:

· Транзитивность:

Правила вывода Армстронга полны (используя их, можно вывести все остальные функциональные зависимости, подразумеваемые данным их множеством) и надежны («лишних» функциональных зависимостей вывести нельзя; выведенная функциональная зависимость справедлива везде, где справедливо то множество функциональных зависимостей, из которого она была выведена).

Кроме того, из данных правил довольно просто выводятся несколько дополнительных правил, упрощающих задачу вывода функциональных зависимостей.

· Самоопределение:

· Декомпозиция:

· Объединение:

· Композиция:

· Теорема всеобщего объединения Дарвена:

Теорема: Функциональная зависимость выводима из данного множества функциональных зависимостей по правилам вывода Армстронга тогда и только тогда, когда .





Дата публикования: 2015-10-09; Прочитано: 461 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!



studopedia.org - Студопедия.Орг - 2014-2025 год. Студопедия не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования (0.005 с)...