Целевой список и определяющее выражение

Целевой список – это список в выражении реляционного исчисления, определяющий атрибуты таблицы решения.

Определяющее выражение – это условие в выражении реляционного исчисления, ограничивающее вхождение элементов в таблицу решения.

Решением каждого запроса в реляционном исчислении является реляционная таблица, которая задается целевым списком и определяющим выражением. Целевой список определяет атрибуты таблицы решения. На основе определяющего выражения отбираются значения из базы данных, которые войдут в таблицу решения. Объясним, как они работают.

В рассмотренном примере целевым списком был r.SalpersName. Другими словами, таблица решения имеет только один атрибут – имя торгового агента. Значения, входящие в таблицу решения, взяты из тех строк, которые удовлетворяют определяющему выражению:

r IN SalesPerson AND r.Office = ‘Ярославль’

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

{r.SalpersId, r.SalpersName, r.ManagerId : r IN SalesPerson AND r.Office = ‘Ярославль’}

Более того, можно выбрать любое подмножество из этих атрибутов.

Из данного объяснения можно понять, как операции выбора и проектирования реляционной алгебры поддерживаются в реляционном исчислении. Объединение, пересечение, разность и произведение также легко можно вывести из конструкций реляционного исчисления, которые мы обсудили к настоящему моменту. В исчислении не используются пошаговые процедуры алгебры. Поэтому операция присвоения здесь не нужна. Остались только две операции реляционной алгебры (соединения и деления), для которых требуются кванторы: квантор существования для соединения и квантор всеобщности для деления.