Проверка моделей с помощью правил нормализации

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

1. 1 нормальная форма

2. 2 нормальная форма

3. 3 нормальная форма.

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

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

- в первом случае повторяющиеся группы удаляются путем ввода соответствующих данных в пустые столбцы строк с повторяющимися данными. Этот подход называется выравниванием таблицы.

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

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

" Функциональная зависимость - описывает связь между атрибутами отношения. Если в отношении R, содержащем атрибуты А и В, атрибут В функционально зависит от атрибута А (А—>В), то каждое значение атрибута А связано только с одним значением атрибута В.

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

3) Отношение находится в третьей нормальной форме тогда и только тогда, когда оно находится во второй нормальной форме и не содержит транзитивных зависимостей.

Если для атрибутов А, В, С некоторого отношения R существует зависимость вида А—>В, В—"С, то говорят, что атрибут С транзитивно зависит от атрибута А через атрибут В.

Все мои отношения находятся в первой, второй и третьей нормальной форме. В моей БД таких зависимостей не обнаружено.

2.3 Построение окончательной диаграммы "Сущность- связь"

Рис.№7.

Заключение

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

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

Разработка базы данных началась с определения объектов, которые представляют наибольший интерес для пользователей, то есть с выделения типов сущностей. Далее дается характеристика типов связей, которые присутствуют между данными сущностями. Третьим пунктом было определение атрибутов, входящих в ту или иную сущность и связывание их с типами сущностей и связей. Было представлено подробное описание доменов атрибутов. Отдельным пунктом выделили определение атрибутов, являющихся потенциальными, первичными и внешними ключами. На основании этих данных построена диаграмма "сущность - связь".

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

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

Список использованной литературы

1. Базы данных. Учебник под ред. А.Д, Хомоненко - СПб.: " Корона принт", 2000

2. Вейскос Дж. Эффективная работа с MS Access 2000 - СПб.: Питер, 2001

3. Глушаков СВ., Ломотько Д, В. Базы данных. Уч. Курс- Харьков: "Фо-пио";2000

4. Дейт К. Дж. Введение в систему баз данных - 7-е издание-М.: Виль-ям,2001

5. Диго СМ. Проектирование и использование баз данных. Учебник - М.: Финансы и статистика, 1995

6. Карпова Т.С: Базы данных; Модели, разработка, реализация. - СПб.: Питер- 2000