Cтраница 2
Операции подобного типа названы операциями свертки суперпозиции и связки, имеют прямые аналогии в реляционных БД в виде операций соединения отношений, проекции на множество общих атрибутов, сужения, композиции и т.п. В каждом отдельном случае удается найти эквивалентные простейшие компоненты ( базовые информационно-вычислительные процедуры), которые указывают на перспективные связи между алгеброй множества ГДП и информационной алгеброй реляционного типа. [16]
Если же атрибуты совпадают не для рсех параметров, то вслед за атрибутом ENTRY для таких параметров должны быть указаны необходимые атрибуты; пропускаемые параметры отмечаются запятыми, и последние запятые могут быть опущены; факторизация ( вынесение за скобки) общих атрибутов здесь не допускается. [17]
Мультиточки представляют собой неупорядоченные собрания точек. Многоточечные пространственные объекты соответствуют группе точек с общими атрибутами, например, кусту скважин. [18]
Таким образом, операция соединения ведет себя, как декартово произведение, если не имеется общих атрибутов, и как теоретико-множественное пересечение, если все атрибуты являются общими. Если только некоторые атрибуты являются общими, мы определяем соединение как результат декартова произведения двух отношений с последующим удалением тех строк, для которых значения общих атрибутов не совпадают, и, кроме того, удалением избыточного дополнительного экземпляра общих колонок. Такое определение сводится к теоретико-множественному пересечению или декартову произведению в специальных случаях, которые уже были рассмотрены выше. Если мы не удалим избыточные колонки, то получим так называемое эквисоединение. В литературе результат с удаленными избыточными колонками часто называется естественным соединением, но мы будем называть его просто соединением. [19]
Предположим для простоты, что каждое из трех указанных отношений имеет п кортежей и что, когда вычисляется естественное соединение отношений с одним общим атрибутом, число кортежей в результирующем отношении равно р 1, умноженному на максимум из числа кортежей в обоих операндах. Допустим также, что домен каждого атрибута достаточно мал для того, чтобы было удобно создать индекс по любому атрибуту. При этом время на создание индекса оценивается произведением константы с на число кортежей в отношении. Предположим, наконец, что время, требуемое для вычисления соединения, если созданы необходимые индексы, равной, умноженному на размер результата. [20]
Если естественное соединение R1 и R2 приводит к появлению большего, чем в отношении R, числа кортежей, то декомпозиция называется декомпозицией с потерями. Отсутствие потерь при декомпозиции отношения R ( XY Z) на R1 ( XY) и R2 ( Y Z) гарантируется при условии, если от общего атрибута двух получаемых отношений - в данном случае атрибута Y - зависит хотя бы один атрибут из двух оставшихся. В нашем случае, если Y - X или Y - Z, то декомпозиция осуществляется без потерь. [21]
Для одного отношения может быть создано несколько индексов. Если разные отношения содержат одинаковые атрибуты, то для них может быть сформирован мультииндекс. В нем каждому значению общего атрибута соответствует несколько ссылок, каждая из которых указывает на строку с таким значением в том или ином отношении. Мультииндексы применяются для оптимизации выполнения операции соединения отношений. [22]
Приведенное выше определение приводит к такому же результату, как и оператор соединения в реляционной алгебре. Тогда, если мы осуществим соединение отношений F и G по общему атрибуту z, a затем с помощью проекции избавимся от этого атрибута, то получим новое бинарное отношение СОМР ( х у), эквивалентное определенной выше композиции многозначных функций. [23]
В реляционной алгебре соединение рассматривается как самая важная операция, причем она является объектом весьма успешных исследований. Операция соединения обратна операции проекции. Соединением RXS называют / операцию, при которой соединяют два отношения, используя в качестве признака соединения общий атрибут У. [24]
Таким образом, операция соединения ведет себя, как декартово произведение, если не имеется общих атрибутов, и как теоретико-множественное пересечение, если все атрибуты являются общими. Если только некоторые атрибуты являются общими, мы определяем соединение как результат декартова произведения двух отношений с последующим удалением тех строк, для которых значения общих атрибутов не совпадают, и, кроме того, удалением избыточного дополнительного экземпляра общих колонок. Такое определение сводится к теоретико-множественному пересечению или декартову произведению в специальных случаях, которые уже были рассмотрены выше. Если мы не удалим избыточные колонки, то получим так называемое эквисоединение. В литературе результат с удаленными избыточными колонками часто называется естественным соединением, но мы будем называть его просто соединением. [25]
![]() |
Определение циклических связей. [26] |
Например, можно сказать, что управляющие - такие же служащие, и, следовательно, их можно определять как подкласс служащих, задав для них атрибуты, которые не свойственны обычным служащим. В нефтяной промышленности объектом может быть станция обслуживания, предприятие по очистке нефти или распределительный центр. Для таких ситуаций возможно наличие общих атрибутов для данного класса объекта и дополнительных атрибутов для каждого типа объекта. [27]
Выделим простейший вид правила, называемый атрибутом. Тогда говорят, что элементы из К обладают некоторым атрибутом ( свойством) а. По определению ( как неизменяемое формальное отношение) атрибут имеет единственное значение п не может изменяться. Элементы одной и той же категории могут рассматриваться как обладающие общими атрибутами и отличающиеся значениями этих атрибутов. [28]
![]() |
Пример операции деления. [29] |
Она имеет большое практическое значение. Существует 2 типа операций соединения: операция соединения по условию и операция естественного соединения. При выполнении операции соединения по условию двух отношений происходит конкатенация строк отношений-операндов, затем полученная сцепленная строка проверяется на соответствие заданному условию. Если строка удовлетворяет условию, она включается в отношение-результат. Если отношения-операнды обладают общим атрибутом ( возможно, составным), то условие соединения может быть опущено, при этом подразумевается, что сравнение производится на равенство значений общих атрибутов. [30]