Базы данных - модели, разработка, реализация


Даталогическое проектирование - часть 5


Это три основных аксиомы:

  1. Рефлексивность: если В является подмножеством А, то А->В
  2. Дополнение: если А->В , то АС->BC
  3. Транзитивность: если А->В и В->С , то А->С.

113

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

Множество всех возможных функциональных зависимостей, выводимое из заданного набора исходных функциональных зависимостей, называется его замыканием.

ОПРЕДЕЛЕНИЕ  
 

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

 

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

Преподаватель День недели Номер пары Название дисциплины Тип занятий Группа
Петров В. И. Понед. 1 Теор. выч. проц. Лекция 4906
Вторник 1 Комп. графика Лаб. раб. 4907
Вторник 2 Комп. графика Лаб. раб. 4906
Киров В. А. Понед. 2 Теор. информ. Лекция 4906
Вторник 3 Пр-е на C++ Лаб. раб. 4907
Вторник 4 Пр-е на C++ Лаб. раб. 4906
Серов А. А. Понед. 3 Защита инф. Лекция 4944
Среда 3 Пр-е на VB Лаб. раб. 4942
Четверг 4 Пр-е на VB Лаб. раб. 4922

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




- Начало -  - Назад -  - Вперед -