Изменения

Перейти к: навигация, поиск

Исчисление кортежей и его реляционная полнота

1993 байта убрано, 19:36, 4 сентября 2022
м
rollbackEdits.php mass rollback
В этом разделе будет рассмотрен один из видов [[Реляционное исчисление | реляционного исчисления]] {{---}} исчисление кортежей.
== Переменные-кортежи ==
Каждая переменная-кортеж имеет тип.
 
=== Тип кортежа ===
* Имена и типы атрибутов;
* Набор значений.
Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.
 
=== Синтаксис ===
<font color = red>Переменная :: Отношение</font>
 
=== Примеры ===
S :: Students
G :: Groups
G4 :: Groups <font color = blue>where</font>
Name = <font color = green>'M34351'</font> <font color = blue>∨</font>
Name = <font color = green>'M34371'</font> <font color = blue>∨</font>
Name = <font color = green>'M34391'</font>
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.
 
== Операции с отношениями ==
=== Ограничение ===
Можно ограничить отношение, выбрав те кортежи, которые удовлетворяют требуемым условиям.
<font color = red>Отношения</font> <font color = blue>where</font> <font color = red>Условие</font>
 
=== Объединение ===
Для объединения используется синтаксис перечисления необходимых отношений через запятую.
<font color = red>Отношение1</font>, <font color = red>Отношение2</font>
1632
правки

Навигация