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