Таким образом, можно решить первую из перечисленных выше проблем - проблему членства путем перечисления деревьев ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Горбатов В.А. Логическое управление информационными процессами


Таким образом, можно решить первую из перечисленных выше проблем - проблему членства путем перечисления деревьев и проверки каждого из них, не является ли оно деревом вывода этой функциональной зависимости. Но хотя и может быть показано, что для любой / е ( / 7) существует дерево вывода, основанное на F, такое, что ни один из путей из корня в висячую вершину не содержит один и тот же атрибут дважды, такой способ неприемлем из-за больших временных затрат. Так как атрибуты, стоящие в правой части функциональной зависимости, должны взвешивать корневые вершины соответствующих IX-ДВ, основанных на F, то, получив все множество атрибутов, каждый из которых взвешивает корни некоторого X-ДВ, основанного на F, можно проверить вхождение нужных атрибутов в это множество и тем самым решить задачу.

(cкачать страницу)

Смотреть книгу на libgen

Таким образом, можно решить первую из перечисленных выше проблем - проблему членства путем перечисления деревьев и проверки каждого из них, не является ли оно деревом вывода этой функциональной зависимости. Но хотя и может быть показано, что для любой / е ( / 7) существует дерево вывода, основанное на F, такое, что ни один из путей из корня в висячую вершину не содержит один и тот же атрибут дважды, такой способ неприемлем из-за больших временных затрат. Так как атрибуты, стоящие в правой части функциональной зависимости, должны взвешивать корневые вершины соответствующих IX-ДВ, основанных на F, то, получив все множество атрибутов, каждый из которых взвешивает корни некоторого X-ДВ, основанного на F, можно проверить вхождение нужных атрибутов в это множество и тем самым решить задачу.