Исчисление кортежей и его реляционная полнота — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Примеры)
м (rollbackEdits.php mass rollback)
 
(не показана 31 промежуточная версия 2 участников)
Строка 1: Строка 1:
В этом разделе будет рассмотрен один из видов [[Реляционное исчисление | реляционного исчисления]] {{---}} исчисление кортежей.
 
  
== Переменные-кортежи ==
 
Каждая переменная-кортеж имеет тип.
 
 
=== Тип кортежа ===
 
* Имена и типы атрибутов;
 
* Набор значений.
 
Комбинация из имен и типов атрибутов и набора значений в данной модели называется отношением. Из этого следует, что каждая кортежная переменная пробегает некоторое отношение.
 
 
=== Синтаксис ===
 
<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
 
Последний пример демонстрирует, что для отношения можно указать ограничивающее его условие.
 

Текущая версия на 19:36, 4 сентября 2022