2014-02-24
866
Смысл операции объединения (пересечения, взятия разности) в реляционной алгебре остается теоретико-множественным. Но если в теории множеств операция объединения (пересечения, взятия разности) имеет смысл для любых двух множеств операндов, то в случае реляционной алгебры результатом операции объединения (пересечения, взятия разности) должно являться отношение. Если допустить, что в реляционной алгебре возможность объединения двух произведений отношений с разными схемами, то результатом операции будет множество разнотипных картежей, т.е. не отношения.
Если исходить из требования замкнутости реляционной алгебры относительно понятия отношения, то такая операция объединения является бессмысленной. Подобные соображения привели к появлению понятия совместимости отношений по объединению. Два отношения совместимы по объединению в том и только том случае, когда они обладают одинаковыми заголовками. Это означает, что в заголовках обоих отношений содержится один и тот же набор атрибутов и одноименные атрибуты определены на одном и том же домене.
Если два отношения совместимы по объединению, то при выполнении над ними операций объединения (пересечения, взятия разности), результатом операции является отношение с корректно определенным заголовком, который совпадает с заголовком каждого из отношений операнда.
Если два отношения почти совместимы по объединению, т. е. совместимы во всем кроме имен атрибутов, то до выполнения операций соединения эти отношения необходимо сделать полностью совместимыми по объединению путем применения операции переименования.
Другие проблемы, связанны с операциями взятия прямого произведения двух отношений. В теории множеств прямое произведение может быть получено для любых двух множеств и элементами результирующего множества являются пары, составленные из элементов первого и второго множеств. Поскольку отношения являются множествами, то для любых двух отношений возможно получение прямого произведения, но результат не будет отношением.
В реляционной алгебре используется специализированная форма операции взятия прямого произведении, так называемое расширенное прямое произведение отношений.
Проблемой получения расширенного прямого произведения может быть именование атрибутов результирующего отношения, если отношения и операнды обладают одноименными атрибутами.
Два отношения совместимы по взятию прямого произведения в том и только том случае, если множества имен атрибутов этих отношений не пересекаются. Любые два отношения могут быть сделаны совместимыми по взятию прямого произведения путем применения операции переименования к одному из этих отношений.
