Особенности теоретико-множественных операций реляционной алгебры

Общая интерпретация реляционных операций

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2015-05-09