Нормальные формы.
Таблица находится в первой нормальной форме (1НФ) тогда и только тогда, когда ни одна из ее строк не содержит в любом своем поле более одного значения и ни одно из ее ключевых полей не пусто.
Таблица находится во второй нормальной форме (2НФ), если она удовлетворяет определению 1НФ и все ее поля, не входящие в первичный ключ, связаны полной функциональной зависимостью с первичным ключом.
Таблица находится в третьей нормальной форме или форме Бойса-Кодда (3НФ или НФБК), если и только если любая функциональная зависимость между его полями сводится к полной функциональной зависимости от возможного ключа.
Таблица находится в пятой нормальной форме (5НФ) тогда и только тогда, когда в каждой ее полной декомпозиции все проекции содержат возможный ключ. Таблица, не имеющая ни одной полной декомпозиции, также находится в 5НФ.
Четвертая нормальная форма (4НФ) является частным случаем 5НФ, когда полная декомпозиция должна быть соединением ровно двух проекций. Весьма не просто подобрать реальную таблицу, которая находилась бы в 4НФ, но не была бы в 5НФ.
Процедура нормализации.
Нормализация – процесс последовательной замены таблицы ее полными декомпозициями до тех пор пока все они не будут находиться в 5НФ.
Шаг 1. Определение первичного ключа таблицы
Шаг 2. Выявление полей, функционально зависящих от части
Шаг 3. Формирование новых таблиц
Шаг 4. Корректировка исходной таблицы
Назначение, возможности erWin.
CASE-технологии (Computer Aided Software/System Engineering)
Одними из самых популярных программных продуктов, обеспечивающих полный цикл анализа, проектирования и кодогенерации, являются автоматизированные инструменты серии Platinumtechnology (LogicWorks):
BPWin (функциональное моделирование),
ERWin (информационное моделирование),
ModelMart (синхронизация моделей ERWin и BPWin),
ParadigmPlus (поддержка UML - языка объектного проектирования (UnifyModelingLanguage)),
RPTWin (генератор отчетов для создания презентаций моделей).
IDEF1X, ICAM (Integrated Computed Aided Manufacturing)
Современный инструмент моделирования баз данных должен удовлетворять ряду требований:
позволять разработчику сконцентрироваться на самом моделировании, а не на проблемах с графическим отображением диаграммы. Инструмент должен автоматически размещать сущности на диаграмме, иметь развитые и простые в управлении средства визуализации и создания представлений модели.
инструмент должен проверять диаграмму на согласованность, автоматически определяя и разрешая несоответствия. Однако инструмент должен быть настраиваемым и при желании предоставлять разработчику некоторую свободу в действиях и право самому разрешать несоответствия или отступления от методологии.
инструмент моделирования должен поддерживать как логическое, так и физическое моделирование.
современный инструмент должен автоматически генерировать базу данных на СУБД назначения.
Рис. 23.
Возможности ERwin:
Обычно разработка модели базы данных состоит из двух этапов: составление логической модели и создание на ее основе физической модели. ERwin полностью поддерживает такой процесс, он имеет два представления модели: логическое (logical) и физическое (physical). Разработчик может строить логическую модель базы данных, не задумываясь над деталями физической реализации, т.е. уделяя основное внимание требованиям к информации и бизнес-процессам, которые будет поддерживать будущая база данных. ERwin имеет удобный пользовательский интерфейс, позволяющий представить базу данных в самых различных аспектах: "хранимое представление" (storeddisplay) и "предметная область" (subjectarea).
ERwin поддерживает автоматическую генерацию спроектированной и определенной на физическом уровне структуры данных (Microsoft SQL Server, Oracle, Sybase, DB2, INFORMIX, RedBrick, Teradata, PROGRESS, MicrosoftAccess, FoxPro, Clipper и др.).
ERwin имеет средство, выполняющее задачу, обратную генерации, что называется "обратная разработка" (reverseengineering). Т.е. ERwin может присоединиться к СУБД, получить всю информацию о структуре базы данных и отобразить ее в графическом интерфейсе, сохранив все сущности, связи, атрибуты и прочие свойства.
Начиная с версии 3.5 ERwin, поддерживает многомерное моделирование, которое используется при построении хранилищ данных. Производительность OLAP-приложений определяется, в основном, качеством дизайна хранилища данных, поэтому критически важно при разработке хранилища иметь инструмент, который бы поддерживал распространенные технологии. ERwin поддерживает две технологии моделирования хранилищ данных: звезда (star) и снежинка (snowflake).