Анализ полученного набора отношений

Полученный набор отношений, находящихся в НФБК и рассматриваемых в качестве окончательной ДЛМ БД, необходимо проверить на предмет наличия невыявленных проблем.

1. Составляются списки ФЗ для каждого отношения. Эти списки проверяются на соответствие двум условиям: во-первых, каждая ФЗ не должна появляться более чем в одном отношении; и во-вторых, набор ФЗ, полученный в результате проектирования, должен в точности совпадать с набором, присутствующим в минимальном покрытии, полученном из исходного набора ФЗ путем удаления избыточных ФЗ перед началом декомпозиции. В противном случае, необходимо показать возможность получения итогового набора ФЗ из минимального покрытия с помощью специальных правил вывода. Если хотя бы одно из этих условий не соблюдается, следует проанализировать процесс проектирования для выявления ошибок и рассмотреть другие варианты проектирования.

2. Осуществляется проверка на присутствие избыточных отношений. Отношение является избыточным, если (а) все атрибуты в избыточном отношении могут быть найдены в другом отношении ДЛМ; (б) все атрибуты в избыточном отношении могут быть найдены в отношении, которое получается из других отношений ДЛМ с помощью серии операций соединения над этими отношениями. Если устанавливается избыточность отношения, его следует исключить из ДЛМ.

Для примера, иллюстрирующего первый тип избыточности, возьмем ДЛМ, состоящую их трех отношений:

R1(A,B)

R2(B,C,Y,Z)

R3(A,B,K)

Отношение R1 является избыточным, так как все его атрибуты присутствуют в отношении R3.

Для иллюстрации избыточности второго типа возьмем ДЛМ следующего вида:

R4(A,C,X)

R5(D, K,F)

R6(D,E,G,H)

R7(A, B,D)

R8(A, B, E,G)

Отношение R8 является избыточным, так как применение операции соединения к R6 и R7 (по общему атрибуту D) дает в результате отношение R9(A,B,D,E,G,H), которое содержит все атрибуты, присутствующие в R8.

3. Рассмотрение отношений с практической точки зрения. Изучается характер использования отношений в проектируемой реляционной БД и определяется, будут ли они поддерживать те типы запросов и операций обновления, которые предполагается использовать. При анализе следует учитывать информационные потребности пользователей.

Аналогичным проверкам должен быть подвергнут и набор отношений, полученных другими методами (например, рассматриваемым в следующей главе методом, основанном на использовании инфологической модели предметной области). Для этого определяются межатрибутные ФЗ для каждого отношения и проверяется соответствие отношений НФБК.

Дата добавления: 2015-07-20