В является подмножеством А, то
Это три основных аксиомы:
Рефлексивность: если В является подмножеством А, то А->В
Дополнение: если А->В , то АС->BC
Транзитивность: если А->В и В->С , то А->С.
113
Доказано, что данные правила являются полными и исчерпывающими, то есть, применяя их, из заданного множества функциональных зависимостей можно вывести все возможные функциональные зависимости.
Множество всех возможных функциональных зависимостей, выводимое из заданного набора исходных функциональных зависимостей, называется его замыканием.
Отношение находится в первой нормальной форме тогда и только тогда, когда па пересечении каждого столбца и каждой строки находятся только элементарные значения атрибутов.
В некотором смысле это определение избыточно, потому что собственно оно определяет само отношение в теории реляционных баз данных. Однако в силу исторически сложившихся обстоятельств и для преемственности такое определение первой нормальной формы существует и мы должны с ним согласиться. Отношения, находящиеся в первой нормальной форме, часто называют просто нормализованными отношениями. Соответственно, ненормализованные отношения могут интерпретироваться как таблицы с неравномерным заполнением, например таблица "Расписание", которая имеет вид:
Преподаватель |
День недели |
Номер пары |
Название дисциплины |
Тип занятий |
Группа |
Петров В. И. |
Понед. |
1 |
Теор. выч. проц. |
Лекция |
4906 |
Вторник |
1 |
Комп. графика |
Лаб. раб. |
4907 |
Вторник |
2 |
Комп. графика |
Лаб. раб. |
4906 |
Киров В. А. |
Понед. |
2 |
Теор. информ. |
Лекция |
4906 |
Вторник |
3 |
Пр-е на C++ |
Лаб. раб. |
4907 |
Вторник |
4 |
Пр-е на C++ |
Лаб. раб. |
4906 |
Серов А. А. |
Понед. |
3 |
Защита инф. |
Лекция |
4944 |
Среда |
3 |
Пр-е на VB |
Лаб. раб. |
4942 |
Четверг |
4 |
Пр-е на VB |
Лаб. раб. |
4922 |
Здесь на пересечении одной строки и одного столбца находится целый набор элементарных значений, соответствующих набору дней, перечню пар, набору дисциплин, по которым проводит занятия один преподаватель.
Содержание Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий