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


         

В является подмножеством А, то


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

  • Рефлексивность: если В является подмножеством А, то А->В


  • Дополнение: если А->В , то АС->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
    Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий