1460

Базисные средства манипулирования реляционными данными

Научная статья

Математика и математический анализ

Теоретико-множественные операции. Реляционное исчисление(далее–РИ) базируется на математической логике, точнее, на исчислении предикатов 1-го порядка. Реляционная алгебра, базовые механизмы манипулирования РД.

Русский

2013-01-06

296.22 KB

27 чел.

Базисные средства манипулирования
реляционными данными

Определены два базовых механизма манипулирования РД:
1) реляционная алгебра (алгебра отношений);
2) реляционное исчисление (исчисление отношений).
Реляционная алгебра (далее – РА) основана на теории множеств.
Реляционное исчисление (далее – РИ)  базируется на
математической логике, точнее, на исчислении предикатов 1-го
порядка (как язык ПРОЛОГ).
Оба механизма обладают одним важным свойством: они замкнуты
относительно понятия отношение
. Это означает, что выражения
РА и формулы РИ определяются над отношениями РБД и
результатом вычисления также являются отношения.
В результате любое выражение и любая формула могут
интерпретироваться как отношение, что позволяет использовать их
в других выражениях и формулах. 
1

Базисные средства манипулирования
реляционными данными

Реляционная алгебра и реляционное исчисление обладают большой
выразительной мощностью:  очень сложные запросы к БД могут
быть выражены с помощью одного выражения РА или одной
формулы РИ.
Механизмы РА и РИ эквивалентны,  т.е.  для любого допустимого
выражения РА можно построить эквивалентную (по результату)  
формулу РИ, и наоборот.
На основе реляционной алгебры и реляционного исчисления
строятся языки баз данных. 
Конкретный язык манипулирования РБД называется реляционно-
полным
,  если любой запрос,  представленный с помощью одного
выражения РА или одной формулы РИ,  может быть выражен с
помощью одного оператора этого языка.
2

Базисные средства манипулирования
реляционными данными

Так как механизмы РА и РИ эквивалентны,  то для проверки
степени реляционности языка РБД можно использовать любой из
них.
Для чего же нужны два эквивалентных формализма?  Дело в том, 
что РА и РИ отличаются уровнем процедурности.
Выражения РА строятся на основе алгебраических операций и
имеют процедурную интерпретацию. 
Для формулы РИ однозначная интерпретация отсутствует. Формула
только устанавливает условия,  которым должны удовлетворять
кортежи результирующего отношения,  поэтому язык РИ является
более декларативным, чем язык РА.
3

Базисные средства манипулирования
реляционными данными

РА говорит,  что и как делать (аналогично процедурным языкам
программирования таким,  как Паскаль или Си),  описывает
последовательность действий. 
РИ говорит,  какой нужен результат,  но то,  как его получить, 
оставляет машине.
Обычно языки БД основываются на смеси РА и РИ.  Здесь
учитывается удобство для пользователя – как ему удобней и
привычней представлять свои запросы.
4

Реляционная алгебра
Основная идея РА состоит в том,  что поскольку отношения
являются множествами,  то средства манипулирования ими могут
базироваться
на
традиционных
теоретико-множественных
операциях, 
дополненных
специальными
операциями, 
специфичными для РБД.
Расширенный вариант РА, предложенный Коддом, включает
8 основных алгебраических операций и 2 дополнительные. 
Весь набор включает два класса – теоретико-множественные
операции и специальные реляционные операции.
5

Реляционная алгебра
1. Теоретико-множественные операции
В состав теоретико-множественных операций входят следующие:
1) объединение отношений,
2) пересечение отношений,
3) взятие разности отношений,
4) прямое произведение отношений.
Теоретико-множественные операции обладают свойством
ассоциативности (все) и коммутативности (все, кроме
разности).
6

Реляционная алгебра
1. Объединение отношений
При объединении двух отношений получается новое отношение, 
включающее кортежи,  входящие хотя бы в одно из отношений-
операндов.
2. Пересечение отношений
Результат пересечения двух отношений – это отношение, 
включающее все кортежи,  входящие в оба отношения-операнда
одновременно.
7

Реляционная алгебра
3. Разность отношений
Результат этой операции – отношение,  включающее все кортежи, 
входящие в отношение-первый операнд, такие что ни один из них
не входит в отношение, являющееся вторым операндом. 
Замечание.
При выполнении операций объединения, пересечения и разности
отношений отношения-операнды должны быть совместимы по этим
операциям, т.е. должны обладать одинаковыми заголовками. 
Более точно: в заголовках обоих отношений содержится один и тот же
набор имен атрибутов и одноименные атрибуты определены на одном и
том же домене. Только в этом случае результатом этих трех операций
является отношение с корректно определенным заголовком, совпадающим
с заголовком каждого из отношений-операндов.
Если два отношения "почти" совместимы, т.е. совместимы во всем, кроме
имен некоторых атрибутов, то перед выполнением операций эти
отношения можно сделать совместимыми путем применения операции8
переименования (см. дальше). 

Реляционная алгебра
4. Прямое произведение
Напомним,  что в теории множеств прямое произведение двух
множеств и B (A×B) есть множество C = { <a, b> | a ∈ A, b ∈ B }. 
Согласно этому определению если и – отношения, то их прямое
произведение дает множество пар кортежей,  которое уже не
является отношением. 
Поэтому в РА используется специальная форма прямого
произведения – расширенное прямое произведение отношений
Результатом этой операции являются не пары кортежей,  а
конкатенации всех кортежей из 1-го операнда со всеми кортежами
из 2-го операнда.
Заметим, что мощность результирующего отношения очень велика
и к тому же оно не очень осмысленно,  поэтому на практике эта
операция самостоятельно не применяется.
9

Реляционная алгебра
Каждое отношение представляется не только набором кортежей
(телом), но и своей схемой (заголовком). 
В случае прямого произведения отношение должно иметь
корректно сформированный заголовок,  а для этого,  отношения-
операнды должны быть совместимы по взятию расширенного
прямого произведения,  т.е.  множества имен атрибутов этих
отношений не должны пересекаться. (Иначе произойдет потеря
элементов множества,  т.к.  в нем все элементы должны быть
различимы.) 
Любые два отношения могут быть сделаны совместимыми по
взятию расширенного прямого произведения путем применения
операции переименования к одному из этих отношений. 
10

Реляционная алгебра
2. Специальные реляционные операции
К специальным реляционным операциям относятся:
1) ограничение отношений,
2) проекция отношений,
3) соединение отношений,
4) деление отношений.
11

Реляционная алгебра
1. Ограничение отношений
Операция ограничения отношений (ОО) выполняется над одним
операндом-отношением и включает простое условие ограничения
A WHERE comp,
где – ограничиваемое отношение, 
comp – простое условие ограничения, имеющее вид:
Θ b, где и – имена атрибутов, Θ – операция сравнения
(>,<,=,#,...), 
либо
Θ const, где – имя атрибута, а const – константа.
Результатом выполнения операции ОО является отношение, 
заголовок которого совпадает с заголовком отношения-операнда, а
в тело входят те кортежи отношения-операнда,  для которых
значением условия ограничения является true (истина).
Приведем пример операции ограничения отношений:
НЕСОВЕРШЕННОЛЕТНИЙ = 
12
СТУДЕНТ WHERE СТУДЕНТ.ВОЗРАСТ < 18

Реляционная алгебра
Пусть comp1 и comp2 – два простых условия ограничения. Тогда по
определению
(1) A WHERE comp1 AND comp2 
эквивалентно
(A WHERE comp1) ∩ (A WHERE comp2);
(2) A WHERE comp1 OR comp2
эквивалентно
(A WHERE comp1) ∪ (A WHERE comp2);
(3) A WHERE NOT comp
эквивалентно
A \ (A WHERE comp).
Благодаря этому,  можно формулировать операции ОО,  в которых
условием ограничения
является любое булево выражение, 
составленное из простых условий с использованием логических
связок AND, OR, NOT и скобок.
13

Реляционная алгебра
На интуитивном уровне операцию ограничения можно представить
как взятие некоторой горизонтальной вырезки отношения-операнда
A WHERE comp
true
true
14

Реляционная алгебра
2. Взятие проекции
Операция взятия проекции требует наличия двух операндов: 
проецируемого отношения и списка имен атрибутов, входящих в
его заголовок.
Результатом проекции отношения по списку атрибутов
(a1, a2, ... am) является новое отношение с заголовком, 
определяемым множеством атрибутов (a1, a2, ... am), и телом, 
состоящим из кортежей вида < a1 : v1, a2 : v2 , ... am : vm >
таких что в отношении имеется кортеж, атрибут a1 которого
имеет значение v1, a2 – v2, ... am – vm.
Тем самым при выполнении операции проекции делается
вертикальная
вырезка
отношения-операнда
с
естественным
уничтожением возникающих кортежей-дубликатов.
15

Реляционная алгебра
Отношение
СЛУЖАЩИЙ (Номер_Сл, Имя_Сл, Номер_Отд, Зарплата, Адрес)
проецируется в новое отношение
СЛУЖ (Номер_Сл, Имя_Сл, Номер_Отд, Зарплата)
оператором
СЛУЖ = П СЛУЖАЩИЙ (Номер_Сл, Имя_Сл, 
Номер_Отд, Зарплата),
где П – операция проекции.
Аналогично, отношение
ОТДЕЛ (Номер_Отд, Адрес)
можно получить с помощью оператора
ОТДЕЛ = П СЛУЖАЩИЙ (Номер_Отд, Адрес).
16

 
СЛУЖАЩИЙ
Номер_Сл 
Имя_Сл 
Номер_Отд 
Зарплата 
Адрес 
5021 
Иванов 721  1200 Москва 
5022 
Петров 721  1200 Москва 
5023 
Сидоров 750 
1500  Париж 
5024 
Осипов 750  1400  Париж 
5025 
Попов 721  1300 Москва 
ОТДЕЛ
Номер_Отд 
Адрес 
721 
Москва 
СЛУЖ 
750 
Париж 
Номер_Сл 
Имя_Сл 
Номер_Отд 
Зарплата 
5021 
Иванов 721  1200 
5022 
Петров 721  1200 
5023 
Сидоров 750  1500 
5024 
Осипов 750  1400 
5025 
Попов 721  1300 
17

Реляционная алгебра
3. Соединение отношений
Эта операция имеет три операнда:  два из них – соединяемые
отношения, третий – простое условие. 
Эта операция имеет еще одно название – соединение отношений по
условию:

A, B WHERE comp,
где A, B – соединяемые отношения,
comp – простое условие вида Θ или Θ const, где a, b – имена
атрибутов соответственно из и B, а const – константа. 
По определению результатом операции соединения является
отношение,  получаемое путем выполнения операции ограничения
по условию comp прямого произведения отношений и B
18

Реляционная алгебра
Частными случаями соединений являются эквисоединение и
естественное соединение.
Эквисоединение – это соединение, где условие соединения имеет
вид (a = b)где и – атрибуты из разных операндов.
(Этот случай имеет важное значение, ибо часто встречается на
практике и имеет эффективные алгоритмы реализации.) 
Операция естественное соединение применяется к паре отношений
и B, обладающих общим, возможно составным, атрибутом c
(атрибут имеет одно и то же имя и определен на одном и том же
домене).
Пусть ab – объединение заголовков и B. Тогда естественное
соединение и – это спроецированный на ab результат
эквисоединения и B по A/c и B/c при A/c = B/c.
19

Реляционная алгебра
Для иллюстрации естественного соединения вернемся к примеру, 
иллюстрирующему проекцию отношения.  Только теперь будет
решаться обратная задача: из отношений СЛУЖ и ОТДЕЛ получить
новое отношение СЛУЖАЩИЙ,  являющееся их естественным
соединением.  При этом общим атрибутом будет являться
Номер_Отд.
Если вспомнить введенное ранее определение внешнего ключа,  то
понятно, что основный смысл операции естественного соединения
– это обеспечение возможности восстановления сложной сущности, 
декомпозированной
(разбитой) 
по
причине
требования
нормализации отношения. 
В данном примере атрибут Номер_Отд играет роль внешнего
ключа и служит для восстановления сущности ОТДЕЛ.
20

Реляционная алгебра
4. Деление отношений
Пусть даны два отношения: 
с заголовком {a , a ,... a , b , b , ... b } и
1
2
n
1
2
m
с заголовком {b , b , ... b }. 
1
2
m
Будем считать, что атрибуты отношения и атрибуты b
i
i
отношения не только обладают одним и тем же именем, но и
определены на одном и том же домене.
Назовем множество атрибутов {a , a ,... a } составным атрибутом a
1
2
n
а множество {b , b , ... b } составным атрибутом b. Тогда можно
1
2
m
говорить о реляционном делении бинарного отношения A(a ,b) на
унарное отношение B(b).
Результатом деления на является унарное отношение C(a),
состоящее из кортежей <v>, таких что в имеются кортежи
<v, w>, такие что для каждого в есть кортеж <w>.
21

Реляционная алгебра
Пример.
Пусть есть два отношения СОТРУДНИКИ (Имя,  Номер_Отд) и
ИМЕНА (Имя),  причем унарное отношение ИМЕНА содержит
фамилии всех сотрудников организации, имеющих ученую степень. 
Тогда в результате деления отношения СОТРУДНИКИ на
отношение ИМЕНА получим унарное отношение,  содержащее
номера отделов,  в которых работают сотрудники,  чьи фамилии
включены в отношение ИМЕНА.
22

Реляционная алгебра
3. Дополнительные операции
Операция переименования выполняется над отношением-операндом
и имеет результатом новое отношение, тело которого совпадает
с телом операнда, но в заголовке имена атрибутов изменены.
Операция присваивания позволяет сохранить результат вычисления
реляционного выражения в существующем отношении базы
данных.
23

Реляционное исчисление
1. Основные понятия
Основными
понятиями
реляционного
исчисления
являются
переменная и правильно построенная формула (далее – ППФ). 
В зависимости от области определения переменной (далее – ООП) 
различают исчисление кортежей и исчисление доменов и
соответственно кортежные и доменные переменные. 
В первом случае ООП переменной являются кортежи некоторого
отношения, во втором – домены.
Для определения кортежной переменной используется оператор
RANGE, например,
RANGE СОТР IS СОТРУДНИКИ,
где СОТР – переменная, СОТРУДНИКИ – отношение, на котором
определена переменная СОТР
В любой момент переменная СОТР представляет некоторый кортеж
отношения СОТРУДНИКИ
24

Реляционное исчисление
При использовании кортежной переменной в формулах можно
ссылаться на значения атрибутов переменной,  например, 
СОТР.ИМЯ.
Правильно построенная формула служит для выражения условий, 
накладываемых на кортежные переменные. 
При
построении
ППФ
используются
простые
сравнения, 
логические связки (NOT, AND, OR, IF...THEN),  а также
кванторы существования (EXISTS) и всеобщности (FORALL).
25

Реляционное исчисление
Приведем правила построения ППФ.
1)
Простое сравнение есть ППФ.
2)
Если и – формулы, то NOT F, (F AND Q), (F OR Q), 
(IF F TNEN Q) – тоже формулы.
3)
Если – формула, а – свободная переменная в F
то EXISTS x (F) и FORALL x (F) – формулы.
4)
Других формул нет.
О переменных говорят,  что они либо свободные,  либо связанные
Переменные,  входящие в ППФ без кванторов,  являются
свободными.  Только свободные переменные могут входить в
результирующее отношение.
Переменные под квантором являются связанными.  Это означает, 
что такая переменная связана с данной ППФ, т.е. не видна за ее
пределами. При вычислении значения такой ППФ используется
не одно значение связанной переменной,  а вся ее
26
область
определения.

Реляционное исчисление
Пример: пусть СОТР1 и СОТР2 – кортежные переменные, 
определенные на отношении СОТРУДНИКИ, тогда ППФ
EXISTS СОТР2 (СОТР1.Сотр_Зарп > СОТР2.Сотр_Зарп)
для текущего кортежа переменной СОТР1 принимает значение
true в том и только том случае, если во всем отношении
СОТРУДНИКИ найдется кортеж такой, что значение его
атрибута Сотр_Зарп удовлетворяет внутреннему условию
сравнения. 
Формула
FORALL СОТР2 (СОТР1.Сотр_Зарп > СОТР2.Сотр_Зарп) 
для текущего кортежа переменной СОТР1 принимает значение
true в том и только том случае, если для всех кортежей
отношения СОТРУДНИКИ (связанных с переменной СОТР2)
значение атрибута Сотр_Зарп удовлетворяет внутреннему
условию сравнения.
27

Реляционное исчисление
На самом деле принято говорить не о свободных и связанных
переменных,  а о свободных и связанных вхождениях
переменных. 
Так,  если переменная является связанной в F,  то во всех других
ППФ она может быть как свободной,  так и связанной,  но в
любом случае не иметь никакого отношения к вхождению в F
Рассмотрим следующую формулу: 
EXISTS СОТР2 
(СОТР1.Сотр_Отд_Ном = СОТР2.Сотр_Отд_Ном)
AND
FORALL СОТР2 

(СОТР1.Сотр_Зарп > СОТР2.Сотр_Зарп).
Здесь мы имеем два связанных вхождения переменной СОТР2 с
совершенно разным смыслом.
28

Реляционное исчисление
2. Целевые списки и выражения
Правильно построенные формулы обеспечивает только средства
формулирования условий выборки кортежей из отношений БД. 
Для определения набора имен атрибутов результирующего
отношения служат целевые списки (target lists).
Целевой список строится из целевых элементов следующего вида:
x.attr, где – имя свободной переменной из ППФ, а attr – имя
атрибута отношения, на котором определена x;
x, что эквивалентно наличию подсписка x.attr ... x.attr , где
1
n
attr ... attr включает все имена атрибутов определяющего
1
n
отношения;
new_name = x.attr, где new_name – новое имя соответствующего
атрибута результирующего отношения.
Последний элемент требуется, когда в ППФ используется несколько
свободных переменных с одинаковой областью определения. 
29

Реляционное исчисление
Выражение реляционного исчисления имеет вид
target_list WHERE ППФ.
Значением такого выражения является отношение, тело которого
определяется ППФ, а набор атрибутов и их имена – целевым
списком target_list.
Пример: пусть мы имеем БД со схемой
СОТРУДНИКИ (Сотр_Ном, Сотр_Имя, Сотр_Зарп, Отд_Ном)
ОТДЕЛЫ (Отд_Ном, Отд_Кол, Отд_Нач).
Требуется выдать имена и номера сотрудников, являющихся
начальниками отделов с количеством сотрудников больше 50.
30

Реляционное исчисление
В терминах реляционной алгебры потребовалось бы выполнить
следующую последовательность операций:
1) выполнить соединение отношений СОТРУДНИКИ и ОТДЕЛЫ
по условию Сотр_Ном = Отд_Нач;
2) ограничить полученное отношение по условию Отд_Кол >50;
3) спроецировать результат операции на атрибуты Сотр_Ном и
Сотр_Имя.
В терминах реляционного исчисления этот же запрос выглядит
следующим образом: 
SELECT СОТР.Сотр_Ном, СОТР.Сотр_Имя WHERE 
EXISTS ОТД (ОТД.Отд_Нач = СОТР.Сотр_Ном
AND ОТД.Отд_Кол > 50),
где RANGE СОТР IS СОТРУДНИКИ, а RANGE ОТД IS ОТДЕЛЫ
31

Реляционное исчисление
3. Особенности исчисления доменов
В исчислении доменов областью определения переменной
являются не отношения,  а домены.  Например,  переменные
ИМЯ и НОМ_СОТР могут быть определены на доменах
соответственно атрибутов Сотр_Имя и Сотр_Ном.
Основным
формальным
отличием
исчисления
доменов
от
исчисления кортежей является наличие в ППФ дополнительных
предикатов,  позволяющих выражать условия членства.  В
остальном формулы и выражения исчисления доменов похожи
на формулы и выражения исчисления кортежей. 
32

Реляционное исчисление
Если – это n-арное отношение с атрибутами a1 , a2 ,... an , то
условие членства имеет вид
R ( a1 : v1 , a2 : v2 , ... am : vm ) (m <= n),
где vi - константа или доменная переменная.
Условие членства истинно,  если в отношении существует
кортеж, содержащий указанные значения атрибутов. 
Исчисление доменов проиллюстрируем на примере следующего
запроса: 
Выдать
номера
и
имена
сотрудников, 
получающих зарплату больше минимальной.
33

Реляционное исчисление
Для простоты будем считать,  что мы определили доменные
переменные,  имена которых совпадают с именами атрибутов
отношения
СОТРУДНИКИ
если
требуется
несколько
доменных переменных,  определенных на одном и том же
домене,  мы будем добавлять в конце их имени цифры.  Тогда
запрос будет иметь вид:
SELECT Сотр_Ном, Сотр_Имя WHERE 
EXISTS Сотр_Зарп1 ( СОТРУДНИКИ (Сотр_Зарп1) 
AND СОТРУДНИКИ (Сотр_Ном, Сотр_Имя, Сотр_Зарп)
AND Сотр_Зарп > Сотр_Зарп1).

Заметим,  что на исчислении доменов базировался известный язык
Query-by-Example.
34


 

А также другие работы, которые могут Вас заинтересовать

57379. Складання прикладів на віднімання з прикладів на додавання. Складання й розв’язання прикладів за малюнками. Написання цифр 28.5 KB
  Мета: вдосконалювати вміння учнів складати приклади на віднімання та додавання користуючись протилежними діями; вправляти учнів у складанні прикладів за малюнками; формувати графічні навички...
57380. Складання таблиць додавання та віднімання числа 3. Задачі на збільшення та зменшення числа на кілька одиниц 31.5 KB
  Мета: розкрити принцип укладання таблиць додавання й віднімання числа 3; вдосконалювати навички усної лічби; розвивати вміння розв’язувати задачі на збільшення та зменшення числа на кілька одиниць...
57381. Вправи та задачі на засвоєння таблиць додавання й віднімання числа 3. Розв’язання задач на знаходження суми. Вимірювання довжини відрізка 29.5 KB
  Мета: вправляти учнів у розв’язанні прикладів й задач використовуючи таблиці додавання й віднімання числа 3; вдосконалювати навички усної лічби; продовжити роботу над формуванням в учнів уміння креслити вимірювати відрізки; розвивати логічне мислення.
57382. Складання задачі, яка містить поняття стільки ж. Задачі на знаходження остачі. Вправи на задачі на засвоєння таблиць додавання й віднімання числа 3 31.5 KB
  Мета: закріплювати знання учнями таблиць додавання й віднімання 3; формувати вміння розв’язувати задачі на знаходження остачі й задачі що містять у собі поняття стільки ж; вдосконалювати навички усної лічби...
57384. Задачі на знаходження суми й остачі. Вправи на засвоєння таблиць додавання й віднімання. Вимірювання довжини сторін многокутника. Побудова чотирикутника за зразком 28 KB
  Обладнання: предметні малюнки таблиці для усної лічби геометричні фігури. Робота з індивідуальними картками Повторення знань про геометричні фігури: вчитель показує фігуру учні її називають.