Если вы ищете и тривиальные функциональные зависимости, то у вас есть такие вещи, как A-> A, B-> B, AB-> A, AB-> B, AB-> AB и, конечно, A-> B и A-> AB. Легко видеть, что, когда имеется более чем несколько атрибутов, явная запись закрытия набора FD становится громоздкой.
Однако существует алгоритм полиномиального времени для проверки, находится ли FD X-> Y в F + для любого набора FD F.