Курсовая работа (т): Основы реляционной алгебры

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

Основы реляционной алгебры

Оглавление

Введение

. Теоретико-множественные операторы

.1 Объединение

.2 Пересечение

.3 Вычитание

.4 Декартово произведение

. Специальные реляционные операторы

.1 Выборка (ограничение, селекция)

.2 Проекция

.3 Общая операция соединения

.4 Деление

Список использованной литературы

Введение

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

В реализациях конкретных реляционных СУБД сейчас не используется в чистом виде ни реляционная алгебра, ни реляционное исчисление. Фактическим стандартом доступа к реляционным данным стал язык SQL (Structured Query Language). Язык SQL представляет собой смесь операторов реляционной алгебры и выражений реляционного исчисления, использующий синтаксис, близкий к фразам английского языка и расширенный дополнительными возможностями, отсутствующими в реляционной алгебре и реляционном исчислении. Вообще, язык доступа к данным называется реляционно полным, если он по выразительной силе не уступает реляционной алгебре (или, что то же самое, реляционному исчислению), т.е. любой оператор реляционной алгебры может быть выражен средствами этого языка. Именно таким и является язык SQL.

Рассмотрим основы реляционной алгебры.

Реляционная алгебра представляет собой набор операторов, использующих отношения в качестве аргументов, и возвращающие отношения в качестве результата. Таким образом, реляционный оператор выглядит как функция с отношениями в качестве аргументов:


Реляционная алгебра является замкнутой, т.к. в качестве аргументов в реляционные операторы можно подставлять другие реляционные операторы, подходящие по типу:

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

Каждое отношение обязано иметь уникальное имя в пределах базы данных. Имя отношения, полученного в результате выполнения реляционной операции, определяется в левой части равенства. Однако можно не требовать наличия имен от отношений, полученных в результате реляционных выражений, если эти отношения подставляются в качестве аргументов в другие реляционные выражения. Такие отношения будем называть неименованными отношениями. Неименованные отношения реально не существуют в базе данных, а только вычисляются в момент вычисления значения реляционного оператора.

Традиционно определяют восемь реляционных операторов, объединенных в две группы.

Теоретико-множественные операторы:

·        Объединение

·              Пересечение

·              Вычитание

·              Декартово произведение

Специальные реляционные операторы:

1.   Выборка

2.      Проекция

.        Соединение

.        Деление

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

1. Теоретико-множественные операторы

.1 Объединение

 

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

Синтаксис операции объединения:


Замечание. Объединение, как и любое отношение, не может содержать одинаковых кортежей. Поэтому, если некоторый кортеж входит и в отношение , и отношение , то в объединение он входит один раз.

Пример. Пусть даны два отношения  и  с информацией о сотрудниках:

Отношение A

Табельный номер

Фамилия

Зарплата

1

Иванов

1000

2

Петров

2000

3

Сидоров

3000


Отношение B

Табельный номерФамилияЗарплата



1

Иванов

1000

2

Пушников

2500

4

Сидоров

3000


Объединение отношений  и  будет иметь вид:

Табельный номерФамилияЗарплата



1

Иванов

2

Петров

2000

3

Сидоров

3000

2

Пушников

2500

4

Сидоров

3000

Как видно из приведенного примера, потенциальные ключи, которые были в отношениях и не наследуются объединением этих отношений. Поэтому, в объединении отношений и атрибут "Табельный номер" может содержать дубликаты значений. Если бы это было не так, и ключи наследовались бы, то это противоречило бы понятию объединения как "объединение множеств". Конечно, объединение отношений и имеет, как и любое отношение, потенциальный ключ, например, состоящий из всех атрибутов.

.2 Пересечение

 

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

Синтаксис операции пересечения:

Пример. Для тех же отношений  и , что и в предыдущем примере пересечение имеет вид:

Отношение A INTERSECT B

Табельный номерФамилияЗарплата



1

Иванов

1000

Казалось бы, что в отличие от операции объединения, потенциальные ключи могли бы наследоваться пересечением отношений. Однако это не так. Вообще, никакие реляционные операторы не передают результатирующему отношению никаких данных о потенциальных ключах. В качестве причины этого можно было бы привести тривиальное соображение, что так получается более просто и симметрично - все операторы устроены одинаково. На самом деле причина более глубока, и заключается в том, что потенциальный ключ - семантическое понятие, отражающее различимость объектов предметной области. Наличие потенциальных ключей не выводится из структуры отношения, а явно задается для каждого отношения, исходя из его смысла. Реляционные же операторы являются формальными операциями над отношениями и выполняются одинаково, независимо от смысла данных, содержащихся в отношениях. Поэтому, реляционные операторы ничего не могут "знать" о смысле данных. Трактовка результата реляционных операций - дело пользователя.

.3 Вычитание

реляционный алгебра оператор синтаксис

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

Синтаксис операции вычитания:

Пример. Для тех же отношений  и , что и в предыдущем примере вычитание имеет вид:

Отношение A MINUS B

Табельный номерФамилияЗарплата



2

Петров

2000

3

Сидоров

3000


1.4 Декартово произведение

 

Декартовым произведением двух отношений  и  называется отношение, заголовок которого является сцеплением заголовков отношений  и :

,

а тело состоит из кортежей, являющихся сцеплением кортежей отношений  и :

,

таких, что

, .

Синтаксис операции декартового произведения:


Мощность произведения  равна произведению мощностей отношений  и , т.к. каждый кортеж отношения  соединяется с каждым кортежем отношения .

Если в отношения  и  имеются атрибуты с одинаковыми наименованиями, то перед выполнением операции декартового произведения такие атрибуты необходимо переименовать.

Перемножать можно любые два отношения, совместимость по типу при этом не требуется.

Пример. Пусть даны два отношения  и  с информацией о поставщиках и деталях:

Отношение A (Поставщики)

Номер поставщика

Наименование поставщика

1

Иванов

2

Петров

3

Сидоров


Отношение B (Детали)

Номер деталиНаименование детали


1

Болт

2

Гайка

3

Винт


Декартово произведение отношений  и  будет иметь вид:

Отношение A TIMES B

Номер поставщика

Наименование поставщика

Наименование детали

1

Иванов

1

Болт

1

Иванов

2

Гайка

1

Иванов

3

Винт

2

Петров

1

Болт

2

Петров

2

Гайка

2

Петров

3

Винт

3

Сидоров

1

Болт

3

Сидоров

2

Гайка

3

Сидоров

3

Винт


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

2. Специальные реляционные операторы

.1 Выборка (ограничение, селекция)

 

Выборкой (ограничением, селекцией) на отношении  с условием  называется отношение с тем же заголовком, что и у отношения , и телом, состоящем из кортежей, значения атрибутов которых при подстановке в условие  дают значение ИСТИНА.  представляет собой логическое выражение, в которое могут входить атрибуты отношения и (или) скалярные выражения.

В простейшем случае условие  имеет вид

,