Базы Данных, 07 лекция (от 28 сентября)

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Предыдущая лекция | Следующая лекция

Содержание

[править] Реляционная модель данных

Дейт сначала проповедовал бога Кодда, а потом впал в ересь.
Страшнее зверя, чем многозначная логика, не бывает.

Решение: возможность расширять ТД специальными значениями. При сравнениями с другими типами дают false, с собой — true.

Если на типе данных поддерживается порядок, то легко вывести свойство, что любое значение меньше максимального и больше минимального. Выделенное значение равно и максимальному, и минимальному. И в результате Дейте, скорее всего, доказали, что это не проходит.

2 года назад пришла идея соратнику Дейта Хью Гаррелу. предположим, что только в одном атрибуте могут находиться неопределённые значения. Тогда можно ввести два отношения. Не проходит ситуация, когда встречаются и когда не знаю, и когда неприменимо, но в этом случае можно завести несколько отношений.

Критерий хороших идей — они простые.

Это работает хорошо, но только в теории. Ибо сколько потребуется дополнительных полей, если в каждом может быть неопределённое значение.

Неопределённые соотношения в текущем SQL: В нём есть ситуации, когда

  • NULL comp_op V = unknown
  • NULL = NULL ≡ true — дубликат
  • NULL = NULL ≡ false — если их пересчитывают
Не надо верить, что врождённые пороки можно исправить на уровне ПО.

[править] Ограничения реляционной модели

[править] Ограничения сущности

Для каждой переменной отношения должен существовать хотя бы один возможный ключ и ни в одном значении соотв отношения, ни в одном кортеже этот ключ не должен содержать неопределённого значения.

Единственный вопрос, который можно задать на экзамене — почему должен существовать хотя бы один ключ.
[править] Ограничения ссылок
[править] «Внешний» ключ (foreign key)
С термином «ключ» связано много различных эпитетов. Очень хорошим критерием, когда человек отвечает на экзамене — он не понимает, какой природы ключ.

Пусть есть R1(a1, a2, …, an), R2(b1, b2, …, bn)

Пусть b1 — возможный ключ.

аi — внешний ключ, если при любом значении ai существует b1 — внешний ключ или ссылка.

Существует операция эквисоединения, которая позволяет по ai найти кортеж с соответствующим b1.

Как звучит ссылочное ограничение у Кодда: для любого значения внешнего ключа либо существуют совпадающее с ним значение первого (возможного) ключа, либо значение внешнего ключа является полностью неопределённым (NULL).

SQL не соотв реляционной модели. В нём можно определить таблицу, в которой вообще нет возможного ключа.

[править] Дубликаты
Лектор написал маленькую полезную статью Дубликаты, неопределённые значения и другие экзотические прелести SQL.

Дубликаты возникли ещё в System R в IBM под надзором Кодда. Они появились не потому, что они были идиоты или хотели принести гадость миру, а потому, что если у кортежа при выборке не нужен возможный ключ, могут получатся дубликаты.

Лектор утверждает: Дубликаты в результате запроса никому не нужны.

В соответствии с моделью дубликаты надо было бы уничтожать. Но это БД. И одно из свойств БД — очень большие объёмы. Могут быть гигабайты данных. Универсальный способ — отсортировать, а это очень дорогая операция, самая дорогая, которая существует в СУБД. И поэтому мультимножества разрешены в SQL. Но и сохранять их тоже можно. Но если их можно получить в результате запроса, то и другими способами тоже можно добавлять.

Лет 10–15 назад лектору нужно было прочитать курс по стандарту SQL, а из подручных материалов ничего, кроме SQL Server, не было. Лектор был ужасно удивлён, когда он увидел демонстрационную БД, в которой половина таблиц определена без возможного ключа. Людей в этом отношении надо воспитывать, и БД надо делать по-человечески.

Вторая возможность SQL: возможность определения возможного ключа с неопределённым значением. И если n возможных ключей, то 2n могут иметь неопределённые значения.

[править] Правила сопоставления внешнего ключа с возможным

У Кодда — либо ссылается, либо не ссылается. В SQL — simple (…), partial (…), full (…).

Одна ссылка может указывать на несколько строк, если внешняя ссылка объявлена как partial.

[править] Ограничения целостности

Спрашивается, как соблюдать ограничения целостности.

Внешние ключи: всё достаточно просто работает при вставке. Проблема, когда кортеж изменяется или меняется.

Способы решения:

  1. Каскадное удаление
  2. Запретить удалять, пока есть потомки
  3. Детей объявлять беспризорниками

Ещё одна возможность в SQL: куда-нибудь пристроить детей.

[править] Алгебра

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

В алгебре Кодда 10 операций. Делятся на группы:

  1. Теоретико-множественные операции
    1. Объединение (union)
    2. Пересечение (intersect)
    3. Вычитание (minus)
    4. Декартово произведение (times)
  2. Специальные реляционные операции
    1. Ограничение (where)
    2. Проекция (project)
    3. Соединение (join)
      Одна из самых неприятных ошибок на экзамене — перепутать объединение и соединение. Операция соединения — элементами результата являются конкатенации кортежей, степень результата будет (n+m), а количество кортежей сколько получится.
    4. Деление (divide by)
  3. Дополнительные операции
    1. Присваивание
      Не совсем операция, но без неё трудно. В обычных ЯП это просто перенос результата, в БД же это гигантские куски внешней памяти. Как сказал Гайсарян, последней модой принято считать, что с каждой переменной связано некое абстрактное местоположение, единственным свойством которого является то, что в него можно записать, и оттуда считать. В БД присваивание связывает выражение с именем
    2. Переименование
      У Кодда не было, придумал Дейта. Эта операция очень важная. Позволяет взять отношение и переименовать атрибут.

[править] Более содержательный рассказ

[править] union, intersect, minus

Основной смысл этих операций понятен. Отношение — это множество, по идее, можно было бы применять эти операции к любым двум отношениям как к множествам. Например, применяем операцию к R1(a1, b1) и R2(a2, c2, d2). Мы получили бы множество, но оно не было бы отношением. Это нехорошо, потому что мы хотим построить не алгебру множеств, а алгебру отношений. Вообще,чем замечательны алгебры? Тем, что они строятся таким образом, что в любом месте, где можно использовать значение, можно использовать выражение, которое это значение производит. Посему требование, что результатом любого действия должно быть отношение. Отсюда ограничение на операнды, которое называется условием совместимости по объединению. Звучит оно так. Операндами этих операций могут быть только операнды, которые обладают одинаковыми схемами. Но в этом случае мы никогда не могли бы объединить R1(a1, b1) с R2(a2, b2). Как раз здесь начинают работать операции переименования. Почти совместимость — два операнда почти совместимы, если их заголовки обладают одинаковыми степенями, и мы можем составить взаимо однозначное соответствие между атрибутами, тогда мы можем привести операнды в соответствие, применив нужное количество раз операцию переименования. До Дейты плохо жили люди. Один из выходов — использование точечной нотации. То есть считали, что атрибуты были вида R1.a1, R2.b2. Но при этом операции объединения не были бы коммутативны, так как возникал вопрос, как именовать атрибуты результата. Но это не алгебра, так как нельзя применить операцию к любым элементам множества.

[править] Декартово произведение
ДП — если есть два множества A{a} и B{b}, то по определению ДП А и В — множество всех возможных упорядоченных пар A×B = {(a, b)}, где a из A, b из B.

В реляционной модели эта операция не имеет смысла. Поэтому Кодд ввёл понятие расширенного ДП. Если есть R1(a1...an), R2(b1...bn), то в результате ДП получаем (a1, …, an, b1, …, bn). Фактически это объединение. Всегда ли можно выполнять эту операцию? Требуются отношения, у которых пересечение множества атрибутов пусто. Для расширенного ДП можно сделать любые отношения разными при помощи операции переименования. Если использовать точечную нотацию, то получаются громоздкие имена.

[править] Избыточность этих трёх операций

Три операции избыточны, минус выбросить нельзя, потому что он некоммутативный, можно выбросить пересечение.

[править] R Where condition

По определению это условие вычисляется для каждого кортежа операнда, и в результат попадают только те кортежи, для которых условие истинно.

R where (cond1&cond2) ≡ (R where cond1) intersect (r where cond2)

R where (cond1|cond2) ≡ (R where cond1) plus (r where cond2)

not R where (cond1) ≡ R minus (r where cond1)


Базы Данных


01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28


Календарь

пт чт пт чт пт чт пт чт пт чт
Сентябрь
01 07 14 15 21 22 28 29
Октябрь
  05 06 12 13 19 20 26 27
Ноябрь
  02 03 09 16 17 23 24 30
Декабрь
  07 08 14 15

Вопросы к экзамену
1999 2000 2001 2002 2003 2004 2005 2006


Дополнительная информация к экзамену


Эта статья является конспектом лекции.

Эта статья ещё не вычитана. Пожалуйста, вычитайте её и исправьте ошибки, если они есть.
Личные инструменты
Разделы