Реляционная алгебра - формальная система манипулирования отношениями в реляционной модели данных.
Реляционная
модель данных была разработана Коддом в 1970 году на основе
математической теории отношений и опирается на систему понятий,
важнейшими из которых являются таблица, отношение, строка, столбец,
первичный ключ, внешний ключ.
Реляционной считается такая база
данных, в которой все данные представлены для пользователя в виде
прямоугольных таблиц значений данных, и все операции над базой данных
сводятся к манипуляциям с таблицами. Таблица состоит из строк и столбцов
и имеет имя, уникальное внутри базы данных. Таблица отражает тип
объекта реального мира (сущность), а каждая ее строка - конкретный
объект. Каждый столбец таблицы - это совокупность значений конкретного
атрибута объекта.
Специальные операции реляционной алгебры
Операция
выбора (Select), заданная на отношении R в виде булевского выражения
(Примеч.Булевские выражения называются также логическими выражениями),
определенного на атрибутах отношения R, называется отношение R[a(r)] ,
включающее те кортежи из исходного отношения, для которых истинно
условие выбора:R[a(r)]={r|r принадлежит R /\a(r)="Истина"}
Операция
проектирования (Project) или вертикального выбора называется отношение
R[B] со схемой, соответствующей набору атрибутов B, содержащему кортежи,
полученные из кортежей исходного отношения R путем удаления из них
значений, не принадлежащих атрибутам из набора B.
Операция соединения
(Join) возвращает отношение, кортежи которого - это сочетание двух
кортежей, имеющих общее значение для одного или нескольких общих
атрибутов этих двух отношений.
Операция деления (Divide) возвращает
отношение, содержащее все значения одного атрибута отношения, которые
соответствуют (в другом атрибуте) всем значениям во втором отношении