
- •Основы проектирования баз данных.
- •Функциональные зависимости.
- •Аксиомы вывода.
- •Применение аксиом вывода.
- •Ориентированные ациклические графы вывода.
- •Основные определения.
- •Покрытия и эквивалентность.
- •Минимальные покрытия.
- •Кольцевые покрытия и составные зависимости.
- •Нормальные формы реляционных баз данных.
- •Первая нормальная форма бд.
- •Аномалии и вторая нормальная форма бд.
- •Избыточность данных и третья нормальная форма.
- •Многозначные зависимости и четвертая нормальная форма.
- •Нормальная форма вида «проекция-соединение».
- •Концепция модели «Сущность-связь».
- •Типы сущностей.
- •Атрибуты.
- •Типы атрибутов.
- •Типы связей.
- •Структурные ограничения.
Нормальные формы реляционных баз данных.
«Человек вне общества – или бог ,или зверь».
АРИСТОТЕЛЬ 384-322гг. до н.э.
Полагаем, что схема отношения R состоит из двух частей K = { K1, K2, ..., Km,} – множества всех выделенных ключей и S – подмножества остальных атрибутов. Напомним, что ключ отношения есть подмножество атрибутов, которое однозначно идентифицирует кортежи во всех экземплярах отношений. В одной схеме может быть много ключей, часть которых выделена (т.е. явно используется), а остальные – нет. Суперключ – любое множество атрибуов схемы отношения, содержащие ключ. Очевидно, что R = S K.Теперь мы можем дать строгое определение схемы реляционной базы данных.
Пусть U – множество атрибутов определённых на своих доменах. Схемой реляционной базы данных R над U называется совокупность реляционных отоношений {R1, R2, ..., Rn}, где R i = Si K i дляi = 1,2,...,nиSi Sj приi j, при этом объединение поi=1,2,...,n остальных атрибутов есть покрытие U (т.е.Si = U).
После определения схемы базы данных мы можем дать определение её экземпляра.
Экземпляром реляционной базой данных над u(U) со схемой базы данных Rназывается такая совокупность экземпляров реляционных отношений{r1(R1), r2(R2), ..., rn(Rn)}, которая для каждой схемы реляционного отношения Ri из схемы этой реляционной базы данных R= {R1, R2, ..., Rn} определяетэкземпляр реляционного отношенияri(Ri) удовлетворяет своему ключу ивходит в операцию проекции-соединения, которая восстанавливаетu(U)без потерь.
Операция проекции-соединения без потерь, которая имеет фундаментальный характер для всей теории реляционных баз данных, определяется следующим образом
u(U) = R1(u(U)) ><R2(u(U)) >< ... ><Rn(u(U)),
что позволяет вместо одного громадного экземпляра отношения хранить эквивалентное ему по содержанию множество экземпляров реляционных отношений.
Первая нормальная форма бд.
«Тот кто обозревает немногое, легко выносит суждения».
АРИСТОТЕЛЬ 384-322гг. до н.э.
Схема отношения R находится в первой нормальной форме (1НФ), если все значения доменов атрибутов dom(A) являются атомарными для каждого атрибута A в отношении R. Определить понятие атомарности значения строго - невозможно. Атомарное значение в одном приложении может быть неатомарным в другом. Принято использовать общий принцип атомарности значения в приложении, который требует использования значения целиком и не допускает его разделения на части при трактовке смысла. Это позволяет выделить все F–зависимости с той степенью детализации, с которой это необходимо. Схема реляционной базы данных находится в первой нормальной форме, если все её схемы реляционных отношений находятся в 1НФ.
При этом очевидно, что схема отношения Ri= (Si, Ki) включает в себяF–зависимость Kij Ri, еслиKijKi является выделенным ключем вRi. Схема базы данныхR={R1, R2, ...,Rn} представляет множество таких функциональных зависимостей G={KijRi | RiR}. Говорят, что схема базы данныхRполностью характеризуетмножество функциональных зависимостей Ф, если ФG. Это замечательный, но частный случай для схем предметных областей, т.е. Ф – более мощное множество чемG.Принято любуюF–зависимость в G+ называетсянавязаннойR, а остальныеF-зависимости из Ф+-G+ненавязанными.Следовательно, все множество функциональных F-зависимостей Ф+ навязано схеме базы данных R, еслиGФ.
Чтобы показать, что множество Ф навязано схеме базы данных, достаточно найти множество Ф’Фтакое, что каждаяF–зависимость в Ф’применима к некоторой схеме отношения RiвR.