[16.03.11] Лекция №5 (1059188)
Текст из файла
Лекция №5 [16.03.11]
Ограничения реляционной модели
Внутренние:
- поля модели являются неделимыми (обращаемся только как к единому целому);
- поля не адресуются;
- больше никаких ограничений нет, модель практически всеядная, всё поддерживает (все виды связей);
Внешние (явные ограничения целостности - ограничения предметной области).
Функциональные зависимости:
- полное множество всех атрибутов
и
- множества атрибутов, которые могут принадлежать
, оба непустые и они не равны.
1) Говорят, что функционально определяет
, если в один и тот же момент времени одному значению
соответствует значение
. Это отношение один к одному:
2) Многозначное определение , если одному значению
соответствуют от нуля, до сколько угодно значений
. И при этом нет никакой зависимости
от оставшейся части атрибута;
Пример:
- полное множество ограничений, оно включает в себя
(
).
Получив множество ограничений (зависимостей) предметной области мы должны по правильным правилам вывода построить из этого полное множество ограничений (зависимостей)
.
Аксиомы функциональных зависимостей:
1) свойство рефлексивности:
2) свойство пополнения:
3) свойство транзитивности:
если выполнены условия: ,
,
,
,
4) свойство расширения:
5) свойство продолжения:
если выполнены условия: ,
,
,
,
6) свойство псевдотранзитивности:
если выполнены условия: ,
,
,
,
,
7) свойство объединения:
если выполнены условия: ,
,
,
,
8) свойство декомпозиции:
если выполнены условия: ,
,
,
,
Применяя эти правила к исходному , в итоге получим полное
(замыкание). По три штуки (любых) можно применять и этого будет достаточно. Каким-то образом.
Аксиомы многозначных зависимостей:
1) дополнение:
2) пополнение:
если выполнены условия: ,
,
,
,
,
3) транзитивность для многозначных зависимостей:
4) объединение:
если выполнены условия: ,
,
,
,
5) псевдотранзитивность:
если выполнены условия: ,
,
,
,
,
6) декомпозиция:
если выполнены условия: ,
,
,
,
Смешанные аксиомы зависимостей:
1) если выполнены условия: ,
,
2) если выполнены условия: ,
,
,
,
,
,
Теория нормализации отношений
Отношение может существовать в четырёх нормальных формах:
Но потом оказалось, что надо добавить ещё одну между 3 и 4, и одну после 5.
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.