В базы данных

Код_дет 
Назв_дет 
Вес 
02 
03 
Д 
В 
2 
2 
ƒ проецирование результата предыдущей операции на атрибут 
Назв_дет. Окончательный результат запроса будет выглядеть 
следующим образом: 
Назв_дет 
Д 
В 
В реляционном же исчислении формулировка этого запроса должна 
иметь следующий вид: 
{ t.Назв_дет 
⎟ t in r and t.Bec = 2}, 
где t — это переменная, обозначающая произвольную строку. 
Отношение, из которого берется t, определяется выражением “ in r”которое 
означает, что t— строка отношения. 
t.Назв_дет — значение атрибута Назв_дет в строке r; символ (|) — 
разделяет целевой список и определяющее выражение. В данном случае: 
t.Назв_дет — целевой список; 
t in r and t.Bec = 2 — определяющее выражение; 
t.Bec = 2 означает, что значение атрибута Вес в строке t равно 2. 
Фигурные скобки "{}", в которые заключено выражение, определяют 
результат запроса, как множество значений данных. Что именно входит в 
это множество, описывает выражение в скобках. Приведенное здесь 
решение иллюстрирует почти все элементы реляционного исчисления. 
8.2.1. Целевой список и определяющее выражение 
Решением каждого запроса в реляционном исчислении является 
отношение, которое задается целевым списком и определяющим 
выражением. Целевой список определяет атрибуты отношения решения. 
Определяющее выражение — это условие, на основании которого 
отбираются значения из базы данных, которые войдут в отношение 
решения. 

---

100
В предыдущем примере Назв_дет берется из строки и помешается в 
строку решения, если строка t удовлетворяет условию 
t in r and t. Вес = 2. 
Система просматривает строки отношения r одну за другой. Первой 
строке временно присваивается имя t и проверяется истинность 
определяющего выражения. Поскольку в этом случае t.Вес = 1, 
определяющее выражение, ложно, поэтому А — значение атрибута 
t.Hазв_дет в этой строке не помещается в отношение решения. Затем 
система переходит к следующей строке, дает ей имя t и снова проверяет 
истинность определяющего выражения. На этот раз выражение истинно, 
поэтому Д помещается в отношение решения. Процесс повторяется для 
каждой строки отношения r. В результате получается следующее 
отношение, идентичное полученному ранее: 
Назв_дет 
Д 
В 
Целевой список может состоять из нескольких атрибутов,