Описание тега relational-algebra
Реляционная алгебра - это ответвление логики первого порядка и алгебры множеств, которая имеет дело с отношениями (наборами кортежей). В компьютерных науках реляционная алгебра обычно используется при работе с базами данных. Операторы в реляционной алгебре используют отношения как операнды и в результате создают отношение.
Реляционная алгебра предоставляет формальную систему для работы с отношениями. В контексте баз данных его можно рассматривать как более формальный способ построения запросов к отношениям.
Реляционная алгебра поддерживает следующие операции:
- Операторы набора: Союз (), Разница (-), Пересечение () (отношения должны быть совместимы с объединением, т. Е. Количество атрибутов и их домены должны совпадать).
- Проекция (Ï €): это унарная операция, которая позволяет вам выбрать определенное подмножество атрибутов (столбцов) из отношения.
- Выделение (σ): это унарная операция, при которой выражение σ Ï † (R) позволяет выбрать подмножество отношений из отношения R, удовлетворяющих определенному утверждению Ï †. Это утверждение выражается с использованием логических операторов, в которых атомы имеют форму aθb, где a и b относятся к атрибутам, а θ относится к бинарной операции в наборе {<, <=, =,> =,>}
- Переименовать (Ï): это унарная операция формы Ï a / b (R), где результат идентичен R, за исключением того, что атрибут a был переименован в b. Этот оператор можно использовать для переименования атрибутов или самого отношения.
- Естественное соединение (â ‹ˆ): Естественное соединение (â‹ ˆ) - это бинарный оператор, который записывается как (Râ ‹ˆS), где R и S - отношения. Результатом операции является набор всех комбинаций кортежей в R и S, которые имеют одинаковые значения в своих общих именах атрибутов.
- Тета Регистрация (A < AIB): тета соединения является условным присоединиться, когда результатом операции является множество всех комбинаций кортежей в R и S, которые удовлетворяют условию указанного. Используя уже определенные операторы тета присоединиться могут быть выражены как Ra < I † S = σ I †(R A- S).
- Деление (Ã ·): Деление - это бинарная операция, которая записывается как R Ã · S. Предполагая, что R определено как R (a, b), а S определено как S (b), результатом R Ã · S будет соотношение Т (), где кортеж < > только в Т, если существуют кортежи в R вида < в, б > таким образом, что в R связан с каждым значением Ь в S.
При обучении базам данных реляционная алгебра использовалась в качестве формальной основы до введения SQL (язык структурированных запросов). SQL похож на реляционную алгебру, за исключением того, что поддерживает несколько расширенных операторов. Некоторые различия можно резюмировать следующим образом:
- Реляционная алгебра является процедурной, тогда как SQL декларативен.
- Реляционная алгебра имеет дело с наборами кортежей, тогда как SQL имеет дело с мешками.
- Стандартная реляционная алгебра не поддерживает агрегатные операторы, такие как суммирование.
- Стандартная реляционная алгебра не поддерживает группировку.
- Стандартная реляционная алгебра не поддерживает упорядочивание или сортировку.
- Стандартная реляционная алгебра не поддерживает операторы сопоставления с образцом.
Внешняя ссылка: