Результирующее отношение

Cтраница 2

Когда отношения соединяются по элементу данных некоторого типа, то в результате сохраняются только те кортежи, которые имеют одно и то же значение этого элемента данных. Следовательно, результирующее отношение может иметь меньше кортежей, чем любое из исходных. Зто видно из рис. 13.9 и 13.10. Эффект сокращения может быть использован для исключения отдельных кортежей из ответа на запрос. Отношение с единственным столбцом ( и, возможно, с одним элементом данных) может соединяться с другими отношениями для извлечения ограниченного множества кортежей. [16]

Другим ЯМД для реляционных баз данных является класс языков, основанных на исчислении отношений. Исчисление отношений представляет собой совокупность обозначений для описания свойств результирующего отношения, выводимого из модели данных. Основным отличием ЯМД на основе исчисления отношений от алгебраического языка является то, что средства первого языка позволяют просто констатировать свойства искомого отношения в форме предиката первого порядка, а второй язык позволяет фактически строить отношения посредством последовательного выполнения специальных операций. Таким образом, ЯМД на основе исчисления отношений по сравнению с алгебраическим языком является непроцедурным. [17]

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

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

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

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

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

Отношение RPR отдела.. [23]

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

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

Результатом деления А на В является отношение С с единственным атрибутом х, таким, что каждое значение х этого атрибута С. Другими словами, кортеж включается в результирующее отношение С только в том случае, если его декартово произведение с отношением: В содержит отношение А. [26]

Спецификация может быть представлена одним отношением, как показано на рис. 1.8, в. Однако в этом случае запросы вида Определить количество деталей каждого типа, входящих в узел б сведутся к выполнению последовательности операций естественного соединения исходного отношения с самим собой или результатом предыдущего соединения по атрибутам исходный-порожденный. И так до тех пор, пока результирующее отношение не будет содержать в атрибуте порожденный никаких других значений, кроме Е, G, H, F. Рассмотренная реляционная модель не является единственной. [27]

Чтобы это сделать, нужен отдельный шаблон для результирующего отношения. Пользователю предоставляются возможности для того, чтобы создать такой шаблон. Значениями в этом шаблоне являются выражения, записанные с использованием переменных, которые были определены в ранее созданных шаблонах. Пользователь может создавать свои имена атрибутов для колонок; они вовсе не обязаны совпадать с именами колонок в тех отношениях, откуда извлекаются значения данных. [28]

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

Пр и м е р 4.1. На рис. 4.1 приведены два отношения R и S, на рис. 4.2, 0 и б - отношения R J S к R - S соответственно. Заметим, что объединение и разность можно выполнять, даже если столбцы двух отношений имеют различные имена, поскольку у этих отношений одно и то же число компонентов. При этом не существует, однако, очевидных имен для столбцов результирующего отношения. [30]

Страницы: 1 2 3