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

Question

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

R = (A, B, C, D, E, F) Fdependencies = {A -> B, A -> C, CD -> E, CD -> F, B -> E}

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

Answer 1

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

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

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

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