Вычислить каноническое покрытие, используя аксиомы Армстронга

Question

Вопрос: Определите каноническое покрытие, используя Аксиомы Армстронга. Дайте аксиомы, которые вы используете для достижения каждого шага.

R = (A, B, C, D, E, F) F-зависимости = {A -> B, A -> C, CD -> E, CD -> F, B -> E}

Я знаю аксиомы Армстронга: объединение, разложение, псевдотранзитивность, рефлексивность, увеличение и транзитивность. Я также знаю, что такое каноническое покрытие. Однако я не знаю, как использовать аксиомы Армстронга, чтобы найти ответ на этот конкретный вопрос - я думал, что вы обычно будете использовать аксиомы Армстронга для вычисления F+, а не cc. Спасибо за помощь.

Answer 1

Верхний ответ появляется, когда я гуглю "каноническую обложку":

http://www.koffeinhaltig.com/fds/ueberdeckung.php

Вычисление F+ само по себе обычно не очень интересно. Вычисление некоторого минимального набора, который доказуемо эквивалентен, может быть немного более интересным, хотя у меня есть свои сомнения.

Обратите внимание (не ваш фактический вопрос, но, тем не менее, я упомяну это), что, хотя ваша проблема заключается в "минимизации наборов атрибутов по обе стороны от FD", наиболее полезное использование аксиом Армстронга состоит в том, чтобы вычислять FD, которые имеют минимальные наборы атрибутов. слева, но максимально справа (= все атрибуты). Это дает вам все (минимальные) ключи и, таким образом, дает вам простой способ проверить NF.