BCNF - нормальная форма Бойса-Кодда вводит дополнительное ограничение в сравнении с 3НФ.

Отношение находится в BCNF, если оно находится в 3НФ и в ней отсутствуют зависимости атрибутов первичного ключа от неключевых атрибутов.

Многозначные зависимости и четвертая нормальная форма (4NF) касается отношений, в которых имеются повторяющиеся наборы данных. Декомпозиция, основанная на функциональных зависимостях, не приводит к исключению такой избыточности. В этом случае используют декомпозицию, основанную на многозначных зависимостях. Многозначная зависимость является обобщением функциональной зависимости и рассматривает соответствия между множествами значений атрибутов.

Отношение находится в 4NF если оно находится в BCNF и в нем отстутсвуют многозначные зависимости, не являющиеся функциональными зависимостями.

Зависимости по соединению и пятая нормальная форма (5NF). Существуют отношения, для которых нельзя выполнить декомпозицию без потерь на две проекции, но которые можно подвергнуть декомпозиции без потерь на три (или более) проекций. Этот факт получил название зависимости по соединению, а такие отношения называют 3-декомпозируемые отношения.

Отношение находится в 5НФ тогда и только тогда, когда любая зависимость по соединению в нем определяется только его возможными ключами. Каждая проекция такого отношения содержит не менее одного возможного ключа и не менее одного неключевого атрибута.

Целостность - правильность данных в любой момент времени. Но эта цель может быть достигнута лишь в определенных пределах: СУБД не может контролировать правильность каждого отдельного значения, вводимого в БД. Поддержание целостности БД может рассматриваться как защита данных от неверных изменений или разрушений. Выделяют три группы правил целостности: по сущностям; по ссылкам; определяемая пользователем.

Анализ информационной связности действий и систем.

Характеристики хорошей модели реализации

Структурные карты сами по себе ничего не говорят о качестве модели реализации, т.к. являются всего лишь инструментом для демонстрации структуры системы и составляющих ее модулей, а также их связи друг с другом.

Один из фундаментальных принципов структурного проектирования заключается в том, что большая система должна быть расчленена на обозримые модули. При этом существенными является то, что это расчленение должно быть выполнено таким образом, чтобы модули были как можно более независимыми (так называемый критерий сцепления) и чтобы каждый модуль выполнял единственную функцию (критерий связности). Существуют и другие принципы оценки и улучшения качества проекта на основе структурных карт. Однако сцепление и связность являются основными критериями.

Сцепление

Сцепление является мерой взаимозависимости модулей. В хорошем проекте сцепления должны быть минимизированы, т.е. модули должны быть слабо зависимыми настолько, насколько это возможно.

Существуют три типа нормального сцепления: сцепление по данным, сцепление по образцу, сцепление по управлению.

На практике наиболее часто используемым типом сцепления является сцепление по данным.

Два модуля сцеплены по данным, если они взаимодействуют через передачу параметров и при этом каждый параметр является элементарным информационным объектом. В случае небольшого количества передаваемых параметров сцепление по данным обладает наилучшими характеристиками.

Два модуля сцеплены по образцу, если один посылает другому составной информационный объект. Пример составного объекта: Данные о клиенте, включающий в себя поля Название организации, Почтовый адрес, Телефон, Номер счета и т.д.

Два модуля сцеплены по управлению, если один посылает другому информационный объект - флаг, предназначенный для управления его внутренней логикой. Существует два вида флага: описательный (конец файла, введенные данные и т.д.) и управляющий (читать следующую запись, установить в начало).