Вы находитесь на странице: 1из 5

Формулы

x 2 : 4 a3 3 ( 52 )+ a =0
2

−a2 −a0
a 3= =
30 720
n a0
a n=(−1 )
( 2 n) !

( 12 )+ a =0
x m : 4 a m+1 ( m+ 1 ) m+ m

−am −1 (−1 )m a 0
a m+1= =
( 2 m+1 ) ( 2 m+2 ) ( 2 m+1 )( 2 m+ 2 ) ( 2 m ) !

x x2 x3
y ( x ) =∑ a n x n=a 0 (1− + − + …)
n=0 2! 4 ! 6 !
РЕЛЯЦИОННАЯ АЛГЕБРА
В данной статье будет рассмотрена идея реляционной алгебры. Реляционная алгебра — замкнутая
система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также
называют реляционными операциями.

Ключевые слова: реляционная алгебра, алгебраические операции, кортежи

Основная идея реляционной алгебры  Операция пересечения двух отношений


состоит в том, что коль скоро отношения производит отношение, включающее все
являются множествами, то средства кортежи, входящие в оба отношения-операнда.
манипулирования отношениями могут  Отношение, являющееся разностью
базироваться на традиционных теоретико- двух отношений, включает все кортежи,
множественных операциях, дополненных входящие в отношение - первый операнд, такие,
некоторыми специальными операциями, что ни один из них не входит в отношение,
специфичными для баз данных. являющееся вторым операндом.
Существует много подходов к определению  При выполнении прямого произведения
реляционной алгебры, которые различаются двух отношений производится отношение,
набором операций и способами их кортежи которого являются конкатенацией
интерпретации, но в принципе, более или менее (сцеплением) кортежей первого и второго
равносильны. Мы опишем немного операндов.
расширенный начальный вариант алгебры,  Результатом ограничения отношения по
который был предложен Коддом. В этом некоторому условию является отношение,
варианте набор основных алгебраических включающее кортежи отношения-операнда,
операций состоит из восьми операций, которые удовлетворяющее этому условию.
делятся на два класса - теоретико-  При выполнении проекции отношения
множественные операции и специальные на заданный набор его атрибутов производится
реляционные операции. В состав теоретико- отношение, кортежи которого производятся
множественных операций входят операции: путем взятия соответствующих значений из
 объединения отношений; кортежей отношения-операнда.
 пересечения отношений;  При соединении двух отношений по
 взятия разности отношений; некоторому условию образуется
 прямого произведения отношений. результирующее отношение, кортежи которого
Специальные реляционные операции являются конкатенацией кортежей первого и
включают: второго отношений и удовлетворяют этому
 ограничение отношения; условию.
 проекцию отношения;  У операции реляционного деления два
 соединение отношений; операнда - бинарное и унарное отношения.
 деление отношений. Результирующее отношение состоит из
Кроме того, в состав алгебры включается одноатрибутных кортежей, включающих
операция присваивания, позволяющая значения первого атрибута кортежей первого
сохранить в базе данных результаты операнда таких, что множество значений
вычисления алгебраических выражений, и второго атрибута (при фиксированном значении
операция переименования атрибутов, дающая первого атрибута) совпадает с множеством
возможность корректно сформировать значений второго операнда.
заголовок (схему) результирующего отношения.  Операция переименования производит
Если не вдаваться в некоторые тонкости, отношение, тело которого совпадает с телом
которые мы рассмотрим в следующих операнда, но имена атрибутов изменены.
подразделах, то почти все операции  Операция присваивания позволяет
предложенного выше набора обладают сохранить результат вычисления реляционного
очевидной и простой интерпретацией. выражения в существующем отношении БД.
 При выполнении операции объединения Поскольку результатом любой реляционной
двух отношений производится отношение, операции (кроме операции присваивания)
включающее все кортежи, входящие хотя бы в является некоторое отношение, можно
одно из отношений-операндов. образовывать реляционные выражения, в
которых вместо отношения-операнда некоторой
реляционной операции находится вложенное
реляционное выражение.
Рис. 1. Операция объединения

Рис. 2. Операция разности

{t∨ A ( t ) ∪ ( ∅ B ( t ) ) };
1.Операции объединения (рис. 1) (A∪B или RANGE OF t IS A
A UNION B) соответствуют выражения: RANGE OF r IS B
{t∨ A ( t ) ∪ B ( t ) }; t WHERE t 1 r
RANGE OF t IS A, B Рассматривается все множество кортежей t,
Необходимо получить множество всех такое, что t принадлежит A и не принадлежит
кортежей t, причём таких кортежей, которые B.
принадлежат отношениям A или B. 3. Операции декартово произведение ( A × B
2.Операции разности (рис. 2) (A–B или A или A TIMES B) соответствуют выражения:
MINUS B) соответствуют выражения:
В t [ kдальнейшем
{t (k + m)∨ ( $ u ) ( $ v ) ( A ( u ) ∪ B ( v ) ∪ t [ 1 ] =u [ 1 ] ∪… ∪ ]=u [ k ] ∪t [ k +1изложении мыt [ k +m
]=v [ 1 ] ∪… ∪ будем
] =v [ m ] ) }
; предполагать применение операции
RANGE OF t IS A; переименования во всех конфликтных случаях.
RANGE OF u IS A; Операция взятия проекции
RANGE OF r IS B;
RANGE OF v IS B; Операция взятия проекции также требует
(t, r) WHERE EXISTS u EXISTS v (t[1]=u[1] наличия двух операндов - проецируемого
AND … AND t[k]=u[k] AND r[1]=v[1] AND … отношения A и списка имен атрибутов,
AND r[m]=v[m]) входящих в заголовок отношения A.
Рассматривается все множество кортежей
арности k+m (k – арность отношения A, m – Результатом проекции отношения A по
арность отношения B), таких, что существует списку атрибутов a1, a2, ..., an является
кортеж u, принадлежащий A, и существует отношение, с заголовком, определяемым
кортеж v, принадлежащий B, причём k первых множеством атрибутов a1, a2, ..., an, и с телом,
компонентов каждого результирующего состоящим из кортежей вида <a1:v1, a2:v2, ...,
кортежа образуют компоненты кортежа u, а an:vn> таких, что в отношении A имеется
следующие m компонентов результирующего кортеж, атрибут a1 которого имеет значение v1,
кортежа образуют компоненты кортежа v. атрибут a2 имеет значение v2, ..., атрибут an
Как мы говорили в предыдущей лекции, имеет значение vn. Тем самым, при выполнении
каждое отношение характеризуется схемой (или операции проекции выделяется "вертикальная"
заголовком) и набором кортежей (или телом). вырезка отношения-операнда с естественным
Поэтому, если действительно желать иметь уничтожением потенциально возникающих
алгебру, операции которой замкнуты кортежей-дубликатов.
относительно понятия отношения, то каждая
операция должна производить отношение в Операция соединения отношений
полном смысле, т.е. оно должно обладать и
телом, и заголовком. Только в этом случае Общая операция соединения (называемая
будет действительно возможно строить также соединением по условию) требует
вложенные выражения. наличия двух операндов - соединяемых
Заголовок отношения представляет собой отношений и третьего операнда - простого
множество пар <имя-атрибута, имя-домена>. условия. Пусть соединяются отношения A и B.
Если посмотреть на общий обзор реляционных Как и в случае операции ограничения, условие
операций, приведённый в предыдущем соединения comp имеет вид либо (a comp-op b),
подразделе, то видно, что домены атрибутов либо (a comp-op const), где a и b - имена
результирующего отношения однозначно атрибутов отношений A и B, const - литерально
определяются доменами отношений-операндов. заданная константа, а comp-op - допустимая в
Однако с именами атрибутов результата не данном контексте операция сравнения.
всегда все так просто добиться.
Например, представим себе, что у Тогда по определению результатом
отношений-операндов операции прямого операции сравнения является отношение,
произведения имеются одноименные атрибуты получаемое путем выполнения операции
с одинаковыми доменами. Каким был бы ограничения по условию comp прямого
заголовок результирующего отношения? произведения отношений A и B.
Поскольку это множество, в нем не должны
содержаться одинаковые элементы. Но и Если внимательно осмыслить это
потерять атрибут в результате недопустимо. А определение, то станет ясно, что в общем
это значит, что в этом случае вообще случае применение условия соединения
невозможно корректно выполнить операцию существенно уменьшит мощность результата
прямого произведения. промежуточного прямого произведения
Аналогичные проблемы могут возникать и в отношений-операндов только в том случае,
случаях других двуместных операций. Для их когда условие соединения имеет вид (a comp-op
разрешения в состав операций реляционной b), где a и b - имена атрибутов разных
алгебры вводится операция переименования. Ее отношений-операндов. Поэтому на практике
следует применять в любом случае, когда обычно считают реальными операциями
возникает конфликт именования атрибутов в соединения именно те операции, которые
отношениях - операндах одной реляционной основываются на условии соединения
операции. Тогда к одному из операндов сначала приведенного вида.
применяется операция переименования, а затем
основная операция выполняется уже безо Хотя операция соединение в нашей
всяких проблем. интерпретации не является примитивной
(поскольку она определяется с использованием
прямого произведения и проекции), в силу
особой практической важности она включается
в базовый набор операций реляционной
алгебры. Заметим также, что в практических
реализациях соединение обычно не
выполняется именно как ограничение прямого
произведения. Имеются более эффективные
алгоритмы, гарантирующие получение такого
же результата.

Имеется важный частный случай


соединения - эквисоединение и простое, но
важное расширение операции эквисоединения -
естественное соединение. Операция соединения
называется операцией эквисоединения, если
условие соединения имеет вид (a = b), где a и b -
атрибуты разных операндов соединения. Этот
случай важен потому, что (a) он часто
встречается на практике, и (b) для него
существуют эффективные алгоритмы
реализации.

Операция естественного соединения


применяется к паре отношений A и B,
обладающих (возможно составным) общим
атрибутом c (т.е. атрибутом с одним и тем же
именем и определённым на одном и том же
домене). Пусть ab обозначает объединение
заголовков отношений A и B. Тогда
естественное соединение A и B - это
спроектированный на ab результат
эквисоединения A и B по A/c и BBC. Если
вспомнить введённое нами в конце предыдущей
главы определение внешнего ключа отношения,
то должно стать понятно, что основной смысл
операции естественного соединения -
возможность восстановления сложной
сущности, декомпозированной по причине
требования первой нормальной формы.
Операция естественного соединения не
включается прямо в состав набора операций
реляционной алгебры, но она имеет очень
важное практическое значение.
Выводы
В данной статье была рассмотрена идея
реляционной алгебры и ее операции. Основной
набор операций делится на 2 класса –
теоретико-множественные операции и
специальные реляционные операции – а те в
свою очередь включают в себя по 4 операции,
которые описаны выше.

Вам также может понравиться