34. Инфологическое моделирование данных. Проектирование транзакций

35. Концептуальное моделирование данных. Проектирование транзакций. Принципы проектирования

 

 

36. Инфологическое моделирование данных. Метод нормальных форм

Граф

Граф - совокупность точек и линий, в которой каждая линия соединяет две точки.

Гравическая концептуальная модель - это формальная система, которая представляет понятия и связи проблемной области в виде графа.

Основные понятия и определения

Граф (в контексте темы)

Граф - это совокупность понятий, размеченных рёбер и обозначений кратности связей

Понятия - это узлы графа, которые моделируют простые понятия и отношения проблемной области.

Размеченные ребраСоединяют два понятия и тем самым моделируют характеристики понятия и бинарные отношения проблемной области.

Обозначения кратности связей-Представляют собой пары положительных целых чисел, связанных с каждым ребром.

Кратность связей может обозначаться термином "многие" (символ звездочки "*").

"*" - от 0 и более

"+" - от 1 и более

Примеры

Эл. Библиотека

Нормальные формы

________________________________________

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

Выделяют следующую последовательность нормальных форм:

• первая нормальная форма (1НФ);

• вторая нормальная форма (2НФ);

• третья нормальная форма (ЗНФ);

• усиленная третья нормальная форма, или нормальная форма Бойса-Кодда (БКНФ);

• четвертая нормальная форма (4НФ);

• пятая нормальная форма (5НФ).

Первая нормальная форма. Отношение находится в 1НФ, если все его атрибуты являются простыми (имеют единственное значение).

Или: Таблица находится в первой нормальной форме (1НФ) тогда и только тогда, когда в любом допустимом значении этой таблицы каждая ее строка содержит только одно значение для каждого атрибута (столбца).

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

Или: Таблица находится во второй нормальной форме (2НФ), если она удовлетворяет определению 1НФ и все ее атрибуты (столбцы), не входящие в первичный ключ, связаны полной функциональной зависимостью с первичным ключом.

Третья нормальная форма.

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

Существует и альтернативное определение.

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

Или: Таблица находится в третьей нормальной форме (ЗНФ), если она удовлетворяет определению 2НФ и ни один из ее неключевых атрибутов не связан функциональной зависимостью с любым другим неключевым атрибутом.

R1

Ф.И.О. Предм Группа ВидЗан

Иванов И.М. СУБД 256 Практ

Иванов И.М ПЛ/1 123 Практ

Петров М.И. СУБД 256 Лекция

Петров М.И. ПАСКАЛЬ 256 Практ

Сидоров Н.Г. ПЛ/1 123 Лекция

Сидоров Н.Г. ПАСКАЛЬ 256 Лекция

Егоров В.В. ПЭВМ 244 Лекция

б) R2

Ф.И.О. Должн Оклад Стаж Д_Стаж Коэф

Иванов И.М. преп 500 5 100 25

Петров М.И. ст.преп 800 7 100 25

Сидоров Н.Г. преп 500 10 150 25

Егоров В.В. преп 500 5 100 24

a)б)

Ф.И.О. Должн Стаж Коэф

Иванов И.М. преп 5 25

Петров М.И. ст.преп 7 25

Сидоров Н.Г. преп 10 25

Егоров В.В. преп 5 24

R3

R4

Должн Оклад

преп 500

ст.преп 800

R5

Стаж Д_Стаж

5 100

7 100

10 150