46

5. ОПЕРАЦИИ РЕЛЯЦИОННОЙ АЛГЕБРЫ

ИРЕЛЯЦИОННОЕ ИСЧИСЛЕНИЕ

5.1.Операции реляционной алгебры

5.1.1. Общий смысл операций реляционной алгебры

Остановимся более подробно на технологии манипулирования данными в реляционной модели, предложенной Коддом, для чего д а- дим определения операциям реляционной алгебры и технологии реляционного исчисления.

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

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

Для теоретико-множественных операций характерны следующие операции:

прямое произведение отношений. объединение отношений; пересечение отношений; взятие разности отношений;

В состав специальных реляционных операций принято включать операции:

ограничения отношения; проекции отношения; соединения отношений. деление отношений.

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

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

47

Результатом выполнения прямого (декартового) произведения двух отношений-операндов является отношение, кортежи которого есть конкатенация (сцепление) кортежей первого и второго операндов.

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

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

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

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

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

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

Результат соединения двух отношений по некоторому условию есть отношение, кортежи которого являются конкатенацией кортежей первого и второго отношений и удовлетворяют этому условию.

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

Спомощью операции присваивания можно сохранить результат вычисления реляционного выражения в отношении БД.

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

5.1.2. Операция переименования

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

48

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

5.1.3.Особенности операций реляционной алгебры, операции объединения, пересечения и разности

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

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

Если отношения-операнды совместимы во всем, кроме имен атрибутов, то для выполнения требования совместимости по объединению до выполнения основных операций необходимо применить операцию переименования для соответствующих атрибутов. Пример выполнения операции объединения представлен на рис. 5.1.

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

49

Отношение СТУДЕНТЫ 1-ГО КУРСА

Отношение АБИТУРИЕНТЫ

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

5.1.4. Прямое (декартово) произведение

Прямым произведением отношений А и В со схемами, соответственно (A1, A2 ,..., An ) и (B1, B2 , ..., Bm ) , является отношение С, со схемой