Редактирование: Нормальные формы: первая и вторая
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 55: | Строка 55: | ||
Для того, чтобы привести произвольное отношение <tex>R</tex> в 1НФ, достаточно: | Для того, чтобы привести произвольное отношение <tex>R</tex> в 1НФ, достаточно: | ||
− | # | + | # рассмотреть все наборы атрибутов, имеющих одинаковый смысл |
− | # | + | # для каждого фиксированного значения оставшихся атрибутов сделать по записи на каждое значение выбранных: |
− | # | + | ## рассмотрим повторяющиеся атрибуты <tex>A_1, \ldots, A_k</tex> |
− | # | + | ## рассмотрим оставшиеся атрибуты <tex>B_1, \ldots, B_n</tex> |
− | # | + | ## построим такое отношение <tex>T</tex> на атрибутах <tex>B_1, \ldots, B_n, A</tex>, что <tex>\{b_1, \ldots, b_n, a\} \in T \Longleftrightarrow \{b_1 \ldots, b_n\} \in \pi_{B_1, \ldots, B_n}R \land a \in \bigcup\limits_{i=1}^k \pi_{A_i}R</tex> |
− | # | + | # аналогичную процедуру повторить для всех неатомарных атрибутов |
Отношение, использованое в примерах выше, после приведения в 1НФ будет выглядеть как | Отношение, использованое в примерах выше, после приведения в 1НФ будет выглядеть как |