Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Дискретная математика.doc
Скачиваний:
107
Добавлен:
12.04.2015
Размер:
1.72 Mб
Скачать

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

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

Определение 5. (3NF) Файл с первичным ключом находится в третьей нормальной форме, если он находится в первой нормальной форме, и для любого функциональная зависимость атрибута Ak от атрибутов не является транзитивной.

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

1.8. Упражнения

  1. Задано подмножество AÍU. Найти все подмножестваXÍU, для которых

AÇX=.

  1. Решить систему уравнений

  1. Решить уравнения

(1) .

(2) .

(3) .

(4) .

  1. Пусть - множество всех функций B®A. Установить биекции между множествами

(1) A ´ B и B ´ A;

(2) (A ´ B)С и AC ´ BC;

(3) (AB)Cи AB´C;

(4) ABÈCи AB´AC, если BÇC =Æ.

  1. Построить бинарное отношение

(1) рефлексивное, симметричное, не транзитивное,

(2) рефлексивное, антисимметричное, не транзитивное,

(3) рефлексивное, транзитивное, не симметричное,

(4) антисимметричное, транзитивное, не рефлексивное.

  1. Доказать, что пересечение семейства отношений эквивалентности на заданном множестве является отношением эквивалентности.

  2. Построить пример частично упорядоченного множества, имеющего ровно один минимальный элемент, но не имеющего наименьшего элемента.

  3. Доказать, что если R– отношение порядка, тоR-1– отношение порядка.

  4. Доказать, что пересечение отношений порядка является отношением порядка. Всегда ли объединение отношений порядка является отношением порядка?

  5. Найти число рефлексивных отношений на множестве из nэлементов.

  6. Найти число симметричных отношений на множестве из nэлементов.

  7. Будет ли множество функций X Rрешеткой относительно отношения порядка

fg f(a) g(a)?

  1. Сколько подмножеств множества A={1,2,∙∙∙,300} содержат по крайней мере одно число кратное 5, и ни одного – кратного 10.

  2. Сколько подмножеств множества A={1,2,∙∙∙,300} не содержат ни чисел кратных 4, ни чисел кратных 6?

  3. Сколько подмножеств множества A={1,2,∙∙∙,300} состоят из чисел кратных 4, но не содержат чисел кратных 6?

  4. Сколько подмножеств множества A={1,2,∙∙∙,300} состоят из чисел кратных 4 и, сверх того, содержат по крайней мере одно число кратное 6 ?

2. Комбинаторика

Комбинаторикойназывается раздел дискретной математики, который занимается следующими вопросами:

  1. Задача перечисления: найти количество элементов заданной математической модели.

  1. Задача перебора: построить алгоритм перебора этих элементов.

Основное внимание мы будем уделять задаче перечисления.

Конечная математическая модель в комбинаторике называется конфигурацией. Мы изучим следующие конфигурации: размещения, сочетания, разбиения и их обобщения. Для дальнейшего изучения рекомендуем [14], [15], [21].