Отношения, совместимые по типу

Замкнутость реляционной алгебры.

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

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

Реляционная алгебра представляет собой набор операторов, использующих отношения в качестве аргументов, и возвращающие отношения в качестве результата. Таким образом, реляционный оператор R выглядит как функция f с отношениями в качестве аргументов: R = f (R₁, R₂,…R_n).

Реляционная алгебра является замкнутой, т.к. в качестве аргументов в реляционные операторы можно подставлять другие реляционные операторы, подходящие по типу: R = f (f₁ (R₁₁, R₁₂,…R_1n), f₂ (R₂₁, R₂₂,…R_2n),…).

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

Обычно выделяют девять реляционных операторов, которые объединяются в две группы:

1) теоретико-множественные операторы: пересечение; объединение; вычитание и декартово произведение;

2) специальные реляционные операторы: проекция; выборка; соединение и деление.

Последняя операция – присвоение, которая является стандартной операцией языка программирования, дающая имя величине.

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

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

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

Атрибуты с одинаковыми именами определены на одних и тех же доменах.

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

Синтаксис: R RENAME Atr₁, Atr₂, … AS NewAtr₁, NewAtr₂, …,

где R – отношение;

Atr₁, Atr₂, …- исходные имена атрибутов;

NewAtr₁, NewAtr₂, … - новые имена атрибутов.

В результате применения оператора переименования атрибутов получаем новое отношение, с измененными именами атрибутов.

Пример 1:

Следующий оператор возвращает неименованное отношение, в котором атрибут ИД_Каф переименован в ИД_Каф2002:

Кафедра RENAME ИД_Каф AS ИД_Каф2002

Дата добавления: 2014-11-20